Login / Signup
Proof routines for the propositional calculus.
Hugues Leblanc
Published in:
Notre Dame J. Formal Log. (1963)
Keyphrases
</>
propositional calculus
linear logic
theorem prover
theorem proving
information systems
real time
data sets
computer vision
image segmentation
digital libraries
artificial neural networks
mobile robot
geometry theorem proving