Item Details

Print View

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : Proceedings

Elsa L. Gunter, Amy Felty, (eds.)
Format
Book
Published
Berlin ; New York : Springer, c1997.
Language
English
Series
Lecture Notes in Computer Science
ISBN
3540633790 (softcover : alk. paper)
Description
viii, 337 p. : ill. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Lecture notes in computer science 0302-9743 ; 1275
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01232pam a2200349 a 4500
    001 u2762073
    003 SIRSI
    005 19970923163403.5
    007 cr un----------
    008 970718s1997 gw a b 101 0 eng
    010
      
      
    a| 97033256
    020
      
      
    a| 3540633790 (softcover : alk. paper)
    035
      
      
    a| (Sirsi) i3540633790
    035
      
      
    a| (OCoLC)37361779
    040
      
      
    a| DLC c| DLC d| DLC
    049
      
      
    a| VA@S
    050
    0
    0
    a| QA76.9.A96 b| I577 1997
    082
    0
    0
    a| 004/.01/5113 2| 21
    090
      
      
    a| SCIENG/QA76.9.A96 b| I577 1997
    111
    2
      
    a| TPHOLs '97 d| (1997 : c| Murray Hill, N.J.)
    245
    1
    0
    a| Theorem proving in higher order logics : b| 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings / c| Elsa L. Gunter, Amy Felty, (eds.).
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c1997.
    300
      
      
    a| viii, 337 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science x| 0302-9743 ; v| 1275
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 14
    650
      
    0
    a| Automatic theorem proving v| Congresses.
    700
    1
      
    a| Gunter, Elsa L.
    700
    1
      
    a| Felty, Amy.
    999
      
      
    a| QA76.9 .A96 I577 1997 w| LC i| X004151519 l| BY-REQUEST m| IVY t| BOOK
▾See more
▴See less

Availability

Google Preview

Google Books Preview
Library Location Map Availability Call Number
Ivy Stacks N/A Available