A propositional calculus intermediate between the minimal calculus and the classical.

Charles D. Parsons

Published in: Notre Dame J. Formal Log. (1966)

Keyphrases

propositional calculus
artificial intelligence
database
computer vision
genetic algorithm
information systems
decision trees
case study
database systems
bayesian networks
computer algebra