Item Details

Print View

Some New Results on Resolution in Automated Theorem Proving

by Lawrence J. Henschen
Format
Book; Online; EBook
Published
Urbana, 1968.
Language
English
Series
Report / University of Illinois (Urbana-Champaign Campus). Dept. Of Computer Science
Description
iii, 23 l. 28 cm.
Mode of access: Internet.
Notes
  • Issued also as thesis (M.S.) University of Illinois.
  • "Supported in part by the National Science Foundation under Grant no. NSF-GP-4636."
  • Bibliography: leaf 23.
Series Statement
Report / University of Illinois (Urbana-Champaign campus). Dept. of Computer Science, no. 261
Copyright Not EvaluatedCopyright Not Evaluated
Technical Details
  • Staff View

    LEADER 01680nam a2200385 4500
    001 100701035
    003 MiAaHDL
    005 20150526000000.0
    006 m d
    007 cr bn ---auaua
    008 690919s1968 ilu b 00010 engmc
    035
      
      
    a| sdr-uiuc68974
    035
      
      
    9| AAH-4741
    035
      
      
    a| (OCoLC)35266
    040
      
      
    a| Illinois Univ. Library c| DLC d| m.c. d| UIU
    050
    1
      
    a| QA76 b| .I4 no. 261
    100
    1
    0
    a| Henschen, Lawrence J.
    245
    1
    0
    a| Some new results on resolution in automated theorem proving, c| by Lawrence J. Henschen.
    260
    0
      
    a| Urbana, c| 1968.
    300
      
      
    a| iii, 23 l. c| 28 cm.
    490
    0
      
    a| Report / University of Illinois (Urbana-Champaign campus). Dept. of Computer Science, v| no. 261
    500
      
      
    a| Issued also as thesis (M.S.) University of Illinois.
    500
      
      
    a| "Supported in part by the National Science Foundation under Grant no. NSF-GP-4636."
    504
      
      
    a| Bibliography: leaf 23.
    538
      
      
    a| Mode of access: Internet.
    650
      
    0
    a| Functions
    650
      
    0
    a| Computer science x| Mathematics.
    974
      
      
    8| ia.somenewresultson261hens b| UIU c| IUIUC d| 20180315 s| ia u| uiuo.ark:/13960/t5n88sz6t z| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 261 y| 1968 r| cc-by-nc-sa-3.0 q| con
▾See more
▴See less

Access online

Google Preview

Google Books Preview