Algebraic proof systems over formulas.

Dima Grigoriev Edward A. Hirsch

Published in: Theor. Comput. Sci. (2003)

Keyphrases

management system
distributed systems
artificial intelligence
multiscale
learning systems
complex systems
data sets
information retrieval
relational databases
user interface
software engineering
propositional logic