Login / Signup
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