The Relative Efficiency of Propositional Proof Systems.

Stephen A. Cook Robert A. Reckhow

Published in: J. Symb. Log. (1979)

Keyphrases

intelligent systems
computer systems
complex systems
first order logic
database systems
database
real time
information retrieval
bayesian networks
management system
learning systems