On the single axioms of protothetic. II.

Boleslaw Sobocinski

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

Keyphrases

artificial intelligence
digital libraries
neural network
knowledge base
bayesian networks
optimal solution
computer science
expert systems
special case
first order logic