Login / Signup
The Romulus Proof Checker.
Carl Eichenlaub
Bruce Esrig
James Hook
Carl Klapper
Garrel Pottinger
Published in:
CADE (1990)
Keyphrases
</>
logic programming
linear logic
proof search
case study
theorem proving
automated theorem proving
data mining
genetic algorithm
social networks
search algorithm
multi agent systems
artificial neural networks
special case
natural deduction
logical rules
proof planning