Item Details

Theorem Proving With Abstraction, Part I

by David A. Plaisted
Format
Book; Online; EBook
Published
Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1979.
Language
English
Series
Report (University of Illinois at Urbana-Champaign. Dept. Of Computer Science)
Description
47 p. : ill. ; 28 cm.
Mode of access: Internet.
Notes
  • "UILU-ENG 79-1706."
  • Bibliography: p. 47.
Series Statement
Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 961
Logo for Creative Commons Attribution, Share-alike, Non-commercial LicenseCreative Commons Attribution, Share-alike, Non-commercial License
Technical Details

  • LEADER 01512cam a2200349 i 4500
    001 100701418
    003 MiAaHDL
    005 20150526000000.0
    006 m d
    007 cr bn ---auaua
    008 790828s1979 ilua b s00010 eng d
    035
      
      
    a| sdr-uiuc841646
    035
      
      
    9| ADL-6090
    035
      
      
    a| (OCoLC)5316892
    040
      
      
    a| SPI c| SPI d| m.c. d| UIU
    100
    1
    0
    a| Plaisted, David A.
    245
    1
    0
    a| Theorem proving with abstraction, part I / c| by David A. Plaisted.
    260
    0
      
    a| Urbana : b| Dept. of Computer Science, University of Illinois at Urbana-Champaign, c| 1979.
    300
      
      
    a| 47 p. : b| ill. ; c| 28 cm.
    490
      
    0
    a| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) v| no. 961
    500
      
      
    a| "UILU-ENG 79-1706."
    504
      
      
    a| Bibliography: p. 47.
    538
      
      
    a| Mode of access: Internet.
    650
      
    0
    a| Automatic theorem proving
    974
      
      
    8| ia.theoremprovingwi961plai b| UIU c| IUIUC d| 20180315 s| ia u| uiuo.ark:/13960/t8sb5mw31 z| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 961 y| 1979 r| cc-by-nc-sa-3.0 q| con

Access online

Google Preview