Item Details

A Resolution Style Proof Procedure for Higher-Order Logic

by Lawrence Joseph Henschen
Format
Thesis/Dissertation; Book; Online; EBook
Published
Urbana, IL.: University of Illinois, 1971.
Language
English
Series
Report No. 452
Description
iv, 79 leaves; 28 cm.
Mode of access: Internet.
Dissertation Note
Thesis--Illinois.
Notes
Bibliography: p. 72-73.
Logo for Copyright Not EvaluatedCopyright Not Evaluated
Technical Details

  • LEADER 01460cam a2200361 i 4500
    001 100700818
    003 MiAaHDL
    005 20150526000000.0
    006 m d
    007 cr bn ---auaua
    008 780311s1971 ilu 00010 eng d
    035
      
      
    a| sdr-uiuc69315
    035
      
      
    9| AAH-5180
    035
      
      
    a| (OCoLC)3705232
    040
      
      
    a| PMC c| PMC d| UIU
    100
    1
    0
    a| Henschen, Lawrence Joseph, d| 1944-
    245
    1
    2
    a| A resolution style proof procedure for higher-order logic / c| by Lawrence Joseph Henschen.
    260
    0
      
    a| Urbana, IL.: b| University of Illinois, c| 1971.
    300
      
      
    a| iv, 79 leaves; c| 28 cm.
    490
    0
      
    a| Report no. 452
    502
      
      
    a| Thesis--Illinois.
    504
      
      
    a| Bibliography: p. 72-73.
    538
      
      
    a| Mode of access: Internet.
    650
      
    0
    a| First-order logic
    650
      
    0
    a| Automatic theorem proving
    974
      
      
    8| ia.resolutionstylep542hens b| UIU c| IUIUC d| 20180315 s| ia u| uiuo.ark:/13960/t3515bz22 z| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 452 y| 1971 r| cc-by-nc-sa-3.0 q| con

Access online

Google Preview