Login / Signup
An Equational Axiomatization for the Disjoint System of Post Algebras.
George Epstein
Published in:
IEEE Trans. Computers (1973)
Keyphrases
</>
theorem proving
topological spaces
pairwise
situation calculus
theorem prover
clifford algebra
information systems
search algorithm
general theory
distributive lattices
data sets
information retrieval
learning environment
digital libraries
spatial reasoning