Semantical analysis of superrelevant predicate logics with quantification.

Miroslaw Szatkowski

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

Keyphrases

quantitative analysis
neural network
statistical analysis
database
machine learning
decision trees
quantitative evaluation
propositional calculus