Item Details

Print View

Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : Proceedings

Niel V. Murray (ed.)
Format
Book
Published
Berlin ; New York : Springer, c1999.
Language
English
Series
Lecture Notes in Artificial Intelligence
Lecture Notes in Computer Science
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence
ISBN
3540660860 (softcover : alk. paper)
Description
x, 323 p. : ill. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Lecture notes in artificial intelligence ; 1617. Lecture notes in computer science
Lecture notes in computer science 1617
Lecture notes in computer science. Lecture notes in artificial intelligence
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01351pam a22003494a 4500
    001 u2931548
    003 SIRSI
    005 19990706125828.0
    007 cr un----------
    008 990517s1999 gw a b 101 0 eng
    010
      
      
    a| 99032019
    020
      
      
    a| 3540660860 (softcover : alk. paper)
    035
      
      
    a| (Sirsi) i3540660860
    035
      
      
    a| (OCoLC)41404659
    040
      
      
    a| DLC c| DLC d| NhCcYBP
    042
      
      
    a| pcc
    049
      
      
    a| VA@S
    050
    0
    0
    a| QA76.9.A96 b| T33 1999
    082
    0
    0
    a| 006.3/33 2| 21
    111
    2
      
    a| TABLEAUX '99 d| (1999 : c| Saratoga Springs, N.Y.)
    245
    1
    0
    a| Automated reasoning with analytic tableaux and related methods : b| international conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / c| Niel V. Murray (ed.).
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c1999.
    300
      
      
    a| x, 323 p. : b| ill. ; c| 24 cm.
    490
    1
      
    a| Lecture notes in artificial intelligence ; v| 1617. a| Lecture notes in computer science
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 14
    650
      
    0
    a| Automatic theorem proving v| Congresses.
    700
    1
      
    a| Murray, Neil V.
    830
      
    0
    a| Lecture notes in computer science v| 1617.
    830
      
    0
    a| Lecture notes in computer science. p| Lecture notes in artificial intelligence.
    999
      
      
    a| QA76.9 .A96 T33 1999 w| LC i| X004313064 l| BY-REQUEST m| IVY t| BOOK
▾See more
▴See less

Availability

Google Preview

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