Small Depth Proof Systems.

Andreas Krebs Nutan Limaye Meena Mahajan Karteek Sreenivasaiah

Published in: CoRR (2013)

Keyphrases

complex systems
distributed systems
intelligent systems
systems require
database
genetic algorithm
database systems
expert systems
information retrieval
information systems
image processing
user interface
small number
building blocks
learning systems
theorem proving