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
Online: Volltext
  Search for full text

Similar Items

Cannot find similar records

Library Services

Search Options

Quick links