Login / Signup
LSI Logic Testing - An Overview.
Eugen I. Muehldorf
Anil D. Savkar
Published in:
IEEE Trans. Computers (1981)
Keyphrases
</>
latent semantic indexing
logic programming
text retrieval
multi valued
classical logic
artificial intelligence
logic programs
vector space
computational properties
proof theory
genetic algorithm
bayesian networks
test cases
modal logic
set theory
deontic logic