Login / Signup
Discontinuity And The Lambek Calculus.
Mark Hepple
Published in:
COLING (1994)
Keyphrases
</>
gray level
algebraic structure
computer algebra
automated deduction
real time
neural network
real world
knowledge base
image processing
decision trees
expert systems
relational calculus
provably correct