Language:   Search:   Contact
World of
Mathematics Database
»ZBMATH« MSC 2000
MSC 2010 Reviewer
Service Subscription
»ZBMATH«
ZBMATH Database | Advanced Search Print
Read more | Try MathML | Hide
Zentralblatt MATH has released its new interface!
For an improved author identification, see the new author database of ZBMATH.

ZBMATH Database Simple Search Advanced Search Command Search

Advanced Search

Query:
Fill in the form and click »Search«...
Format:
Display: entries per page entries
Zbl 0217.54002
Davis, M.; Logemann, G.; Loveland, D.
A machine program for theorem-proving. (English)
[J] Commun. ACM 5, 394-397 (1962). ISSN 0001-0782

Summary: The programming of a proof procedure is discussed in connection with trial runs and possible improvements.

Display scanned Zentralblatt-MATH page with this review.
MSC 2000:
*68T15 Theorem proving

Cited in: Zbl 1122.68618 Zbl 0965.03015

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal

Login Username: Password:

Highlights
Scientific prize winners of the ICM 2010
Overhang
Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Master Server

Zentralblatt MATH Berlin [Germany]

© FIZ Karlsruhe GmbH

Zentralblatt MATH master server is maintained by the Editorial Office in Berlin, Section Mathematics and Computer Science of FIZ Karlsruhe and is updated daily.

Other Mirror Sites

Copyright © 2013 Zentralblatt MATH | European Mathematical Society | FIZ Karlsruhe | Heidelberg Academy of Sciences
Published by Springer-Verlag | Webmaster