Algebraic proof systems over formulas

Dima Grigoriev Edward A. Hirsch

Published in: Electron. Colloquium Comput. Complex. (2001)

Keyphrases

decision making
management system
bayesian networks
artificial neural networks
knowledge based systems
learning systems
model checking