The Admissibility of γ in R4.

Edwin D. Mares Robert K. Meyer

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

Keyphrases

multi dimensional
artificial intelligence
learning algorithm
bayesian networks
query processing
lower bound
propositional logic