Katalog GES



Robinson, J. A.: Theorem-Proving on the Computer / Luckham, David

1st Person: Luckham, David
Additional Persons: Robinson, J. A. rezensierte person
Source: in The journal of symbolic logic Vol. 31, No. 3 (1966), p. 514-515
More Articles
Type of Publication: Article
Language: English
Published: 1966
Keywords: book-review
Online: Volltext
Volltext
  Search for full text
Item Description: Copyright: Copyright 1966 Association for Symbolic Logic, Inc.
Physical Description: Online-Ressource
ISSN: 1943-5886

Similar Items

Cannot find similar records

Library Services

Search Options

Quick links

Orientation