Spatial Reasoning with Propositional Logics
- 1 January 1994
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- An O(n log n)-Space Decision Procedure for Intuitionistic Propositional LogicJournal of Logic and Computation, 1993
- Computing transitivity tables: A challenge for automated theorem proversPublished by Springer Nature ,1992
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- Complexity, convexity and combinations of theoriesTheoretical Computer Science, 1980