There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2015

Publication date (Online): November 22 2015

Pages: 88-96

DOI: 10.1007/978-3-662-48899-7_7

SO-VID: 49af58dd-c0a1-4b69-a066-b4cebc98c193

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 10

Monte Carlo Tableau Proof Search
Authors: Michael Farber, Cezary Kaliszyk, Josef Urban
ProofWatch: Watchlist Guidance for Large Theories in E
Authors: Zarathustra Goertzel, Jan Jakubův, Stephan Schulz …
Machine Learning Guidance and Proof Certification for Connection Tableau
Authors: Josef Urban, Michael Farber, Cezary Kaliszyk

See all cited by

FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover

Read this book at