Experiments With a Multipurpose, Theorem-Proving Heuristic Program

Full Text:

PDF

Authors:	James R. Slagle	Division of Computer Research and Technology, National Institutes of Health, Bethesda, Md and Lawrence Radiation Laboratory, University of California, Livermore, California
	Philip Bursky	Lawrence Radiation Laboratory, University of California, Livermore, California

Published in:

· Journal

Journal of the ACM (JACM) JACM Homepage archive

Volume 15 Issue 1, Jan. 1968
Pages 85-99
ACM New York, NY, USA
table of contents doi>10.1145/321439.321444

	1968 Article
Bibliometrics
· Citation Count: 15 · Downloads (cumulative): 401 · Downloads (12 Months): 14 · Downloads (6 Weeks): 3

Tools and Resources