Item Details

Complete Problems in the First-Order Predicate Calculus

by David A. Plaisted
Format
Book; Online; EBook
Published
Urbana, Ill. : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1979.
Language
English
Series
[Report] - UIUCDCS-R-79
Description
14 p. : ill. ; 28 cm.
Mode of access: Internet.
Notes
  • "UILU-ENG 79 1726."
  • Includes bibliographical references.
Series Statement
[Report] - UIUCDCS-R-79 ; 978
Logo for Creative Commons Attribution, Share-alike, Non-commercial LicenseCreative Commons Attribution, Share-alike, Non-commercial License
Technical Details

  • LEADER 01621nam a2200397 i 4500
    001 100698201
    003 MiAaHDL
    005 20150526000000.0
    006 m d
    007 cr bn ---auaua
    008 800813s1979 ilua b 000 0 eng
    010
      
      
    a| 80621147
    035
      
      
    a| sdr-uiuc6402871
    035
      
      
    a| (OCoLC)6313404
    040
      
      
    a| DLC c| DLC
    049
      
      
    a| UIUU
    050
    0
      
    a| QA76 b| .I4 no. 978 a| QA9.35
    082
    0
      
    a| 001.64 s a| 511.3 2| 19
    100
    1
      
    a| Plaisted, David A.
    245
    1
    0
    a| Complete problems in the first-order predicate calculus / c| by David A. Plaisted.
    260
      
      
    a| Urbana, Ill. : b| Dept. of Computer Science, University of Illinois at Urbana-Champaign, c| 1979.
    300
      
      
    a| 14 p. : b| ill. ; c| 28 cm.
    490
    0
      
    a| [Report] - UIUCDCS-R-79 ; v| 978
    500
      
      
    a| "UILU-ENG 79 1726."
    504
      
      
    a| Includes bibliographical references.
    538
      
      
    a| Mode of access: Internet.
    650
      
    0
    a| Computational complexity.
    650
      
    0
    a| Predicate calculus.
    974
      
      
    8| ia.completeproblems978plai b| UIU c| IUIUC d| 20180315 s| ia u| uiuo.ark:/13960/t4qj90q4p z| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no.978 y| 1979 r| cc-by-nc-sa-3.0 q| con

Access online

Google Preview