# automated reasoning and its applications the mit press

Partial Functions in ACL2 | SpringerLink » Automated Reasoning and Its Applications: Essays in Honor of Larry Wos, MIT Press, 1996, pp. 147-176.Google Scholar. 4. Boyer, R. S. and Moore, J S.: A ... Link.springer.com

[cs/9711106] Generic Automatic Proof Tools » Mar 29, 2001… Journal reference: published in Robert Veroff (editor), Automated Reasoning and its Applications: Essays in Honor of Larry Wos (MIT Press, ... Arxiv.org

Automated Reasoning and Its Applications: Essays in Honor of Larry… » Automated Reasoning and Its Applications: Essays in Honor of Larry Wos [Robert… He is the coeditor of From Embryology to Evo-Devo (MIT Press, 2007). Amazon.com

Automated Reasoning and Its Applications » Automated Reasoning and Its Applications Essays in Honor of Larry Wos. Edited by Robert Veroff. MIT Press, 1997, ISBN 0-262-22055-5. Cs.unm.edu

Automated Reasoning and Its Applications: Essays in Honor of Larry… » Buy Automated Reasoning and Its Applications: Essays in Honor of Larry Wos ( The MIT Press) 1st Edition by Robert Veroff (ISBN: 9780262220552) from ... Amazon.co.uk

Metalevel reasoning for controlling automated reasoning programs » Metalevel reasoning for controlling automated reasoning programs… Automated reasoning and its applications… MIT Press Cambridge, MA, USA ©1997 Dl.acm.org

Propositional Satisfiability » Automated Reasoning and Its Applications, Essays in honor of Larry Wos, Chapter 6, MIT Press, 1997. Zhang, H.: SATO: An Efficient Propositional Prover , Proc. Homepage.divms.uiowa.edu

Nqthm » Automated Reasoning: Essays in Honor of Woody Bledsoe.… Automated Reasoning and Its Applications: Essays in Honor of Larry Wos, MIT Press, 1997, pp. Cs.utexas.edu

Specifying Latin square problems in propositional logic » Automated reasoning and its applications. Pages 115 - 146. MIT Press Cambridge, MA, USA ©1997… Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing, June 19-23, 2005, St Andrews, UK. Dl.acm.org

Automated Reasoning and Its Applications | The MIT Press » The essays in Automated Reasoning and Its Applications were written in honor of Larry Wos, one of the founders of the field. Wos played a central role in forming ... Mitpress.mit.edu