Burdens of Proof, J.-F. Blanchette. MIT Press, Cambridge (2012), ISBN: 978-0-262-01751-0.

Published in: Int. J. Inf. Manag. (2013)

Keyphrases

mit press
united kingdom
theorem proving
linear logic
online learning
machine learning
artificial intelligence
computer science
united states
theorem prover