NICTA ATP lab: Eveleigh, Sydney, Australia.

Yan Shvartzshnaider

Published in: XRDS (2014)

Keyphrases

united states
theorem prover
automated theorem proving
preprocessing
united kingdom
database
machine learning
bayesian networks
multi agent systems
artificial neural networks
cd rom
virtual laboratory