Search for Author All Reviews
	Bridge, James P.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 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
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy