Sign in
Data analysis using a geometrical representation of predicate calculus.
Ephraim Nissan
Published in:
Inf. Sci. (1987)
Keyphrases
</>
predicate calculus
data analysis
first order logic
formal model
predicate logic
theorem proving
semantic network
lambda calculus
proof procedure
semantic net
machine learning
artificial intelligence
query language
object oriented