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