Item Details

A Note on Simplification Orderings

Nachum Dershowitz
Format
Book; Online; EBook
Published
Urbana, Ill. : 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
8 p. ; 28 cm.
Mode of access: Internet.
Notes
  • "April 1979."
  • "UILU-ENG 79 1736."
  • Includes bibliographical references.
Series Statement
Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 986
Logo for Copyright Not EvaluatedCopyright Not Evaluated
Technical Details

  • LEADER 01667nam a2200397 i 4500
    001 100700142
    003 MiAaHDL
    005 20150526000000.0
    006 m d
    007 cr bn ---auaua
    008 800924s1979 ilu b s00010 engm
    035
      
      
    a| sdr-uiuc841729
    035
      
      
    9| ADL-6174
    035
      
      
    a| (OCoLC)6816420
    040
      
      
    a| DLC c| DLC d| m.c. d| UIU
    050
    0
      
    a| QA76 b| .I4 no. 986 a| QA76.9.A96
    082
    0
      
    a| 001.64 s a| 511 2| 19
    100
    1
    0
    a| Dershowitz, Nachum.
    245
    1
    2
    a| A note on simplification orderings / c| Nachum Dershowitz.
    260
    0
      
    a| Urbana, Ill. : b| Dept. of Computer Science, University of Illinois at Urbana-Champaign, c| [1979]
    300
      
      
    a| 8 p. ; c| 28 cm.
    490
      
    0
    a| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) v| no. 986
    500
      
      
    a| "April 1979."
    500
      
      
    a| "UILU-ENG 79 1736."
    504
      
      
    a| Includes bibliographical references.
    538
      
      
    a| Mode of access: Internet.
    650
      
    0
    a| Computational complexity
    650
      
    0
    a| Automatic theorem proving
    974
      
      
    8| ia.noteonsimplifica986ders b| UIU c| IUIUC d| 20180315 s| ia u| uiuo.ark:/13960/t8jd6fq9h z| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no.986 y| 1979 r| cc-by-nc-sa-3.0 q| con

Access online

Google Preview