Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings /
This volume contains the papers presented at TABLEAUX’98, the International Conference on Analytic Tableaux and Related Methods, held on May 5-8, 1998 in Oisterwijk (conference centre Boschoord), near Tilburg, The Netherlands. This conference was a continuation of international workshops/conferences...
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
c1998
New York : 1998 Berlin ; New York : [1998] |
Series: | Lecture notes in computer science ;
1397 Lecture notes in computer science Lecture notes in artificial intelligence Lecture notes in computer science Lecture notes in artificial intelligence. Lecture notes in computer science 1397 |
Subjects: |
Internet
Yale University
Call Number: |
QA76 A1 L43 1397 (LC) |
---|
University of Chicago
Call Number: |
QA76.9.A96T34 1998 |
---|
Harvard University
Call Number: |
QA75 .L4 vol. 1397 |
---|
Duke University
Call Number: |
001.64 L471, v.1397 |
---|
Cornell University
Call Number: |
QA76.9.A96 T43w 1998 |
---|
Columbia University
Call Number: |
QA76.9.A96 T34 1998 |
---|
University of Pennsylvania
Call Number: |
QA76.9.A96 T33 1998 |
---|
Brown University
Call Number: |
QA76.9.A96 T34 1998 |
---|