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
LEADER 01068nma a2200301 c 4500
001 JST053548744
003 DE-601
005 20180606164322.0
007 cr uuu---uuuuu
008 150324s1966 000 0 eng d
024 7 |a 10.2307/2270499  |2 doi 
024 8 |a 2270499 
035 |a 2270499 
040 |b ger  |c GBVCP 
041 0 |a eng 
100 1 |a Luckham, David 
245 0 0 |a Robinson, J. A.: Theorem-Proving on the Computer / Luckham, David 
300 |a Online-Ressource 
500 |a Copyright: Copyright 1966 Association for Symbolic Logic, Inc. 
653 |a book-review 
700 1 |a Robinson, J. A.  |e rezensierte person 
773 0 8 |i in  |t The journal of symbolic logic  |d Cambridge : Cambridge Univ. Press  |g Vol. 31, No. 3 (1966), p. 514-515  |q 31:3<514-515  |w (DE-601)JST053469305  |x 1943-5886 
787 0 8 |i Rezension von  |t Robinson, J. A.: Theorem-Proving on the Computer 
856 4 1 |u https://www.jstor.org/stable/2270499  |3 Volltext 
856 4 1 |u http://dx.doi.org/10.2307/2270499  |3 Volltext 
912 |a GBV_JSTOR 
951 |a AR 
952 |d 31  |j 1966  |e 3  |h 514-515 

Similar Items

Cannot find similar records

Library Services

Search Options

Quick links

Orientation