Login / Signup
A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi
Andrew Gacek
Gopalan Nadathur
Published in:
CoRR (2007)
Keyphrases
</>
qualitative spatial and temporal reasoning
qualitative spatial reasoning
hybrid intelligent
qualitative spatial
neural network
interval algebra