Next: About this document
Up: CREATIVE SOLUTIONS TO
Previous: Acknowledgements
References
- McCarthy 1964
-
McCarthy, J.
1964.
a tough nut for theorem provers.
Stanford AI Memo 16--now on the web.
- McCarthy 1996
-
McCarthy, J.
1996.
the mutilated checkerboard in set
theory.
presented at a 1996 conference in Warsaw.
- Subramanian 1993
-
Subramanian, S. 1993.
A Mechanized Framework for Specifying Problem Domains and
Verifying Plans.
PhD thesis, University of Texas, Austin.
- Uribe and Stickel 1994
-
Uribe, T., and M. Stickel. 1994.
Ordered binary decision diagrams and the davis-putnam procedure.
In J. P. Drummond (Ed.), Lecture Notes on Computer Science,
First international conference on constraints in computational logics, Vol.
845. Springer, September.
John McCarthy
Mon Mar 29 15:20:19 PST 1999