Search for Author All Reviews
	Paulson, Lawrence C.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 4 of 4 reviews       Machine learning for first-order theorem proving Bridge J., Holden S., Paulson L. Journal of Automated Reasoning 53(2): 141-172, 2014.  Type: Article, Reviews: (2 of 2) Bridge and colleagues have developed a methodology of machine learning for theorem proving that uses real-valued features of the problem at hand and determines in a rigorous manner and with fewer preconceptions the possible connections...... Jul 22 2015      Machine learning for first-order theorem proving Bridge J., Holden S., Paulson L. Journal of Automated Reasoning 53(2): 141-172, 2014.  Type: Article, Reviews: (1 of 2) Automatic theorem provers, which today are no longer new things, can be said to be powerful tools in, for example, high-assurance design and verification of systems. Humans certainly need theorem provers’ help for many types ...... Jun 29 2015     Isabelle/HOL: a proof assistant for higher-order logic Nipkow T., Paulson L., Wenzel M., Springer-Verlag, London, UK, 2002. 218 pp.  Type: Book (9783540433767) Machine-assisted proof has reached maturity with a number of systems, including higher-order logic (HOL), Isabelle, Coq, prototype verification system (PVS), and a computational logic for applicative common Lisp (ACL2), amongst others...... Sep 25 2002     Mechanizing UNITY in Isabelle Paulson L. ACM Transactions on Computational Logic 1(1): 3-32, 2000.  Type: Article Much work in computational logic and distributed computing has centered upon the development of tools and techniques for the design and verification of concurrent systems. Two of the best-known efforts in this direction are Lamport&...... Jul 1 2000
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy