Errata: On the single axioms of protothetic. III.

Boleslaw Sobocinski

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

Keyphrases

data mining
search algorithm
expert systems
real time
machine learning
wide range
special case
first order logic
axiomatic characterization