Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings /
This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000, held in St Andrews, Scotland, UK, in July 2000. The 23 revised full papers and 2 system descriptions presented were carefully reviewed and...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2000
|
| Series: | Lecture notes in computer science ;
1847 Lecture notes in computer science Lecture notes in artificial intelligence. |
| Subjects: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Stanford University
| Call Number: |
ISIL:US-CST |
|---|
Massachusetts Institute of Technology
| Call Number: |
QA76.9.A96.T33 2000 |
|---|