Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings /
This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'99, held in Saratoga Springs, NY, USA, in June 1999. The volume presents 18 revised full papers and three system descriptions selected from 41 submissions. Also incl...
Corporate Author: | |
---|---|
Other Authors: | |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
c1999
Berlin ; New York : ©1999 |
Series: | Lecture notes in computer science ;
1617 Lecture notes in computer science Lecture notes in artificial intelligence. Lecture notes in computer science 1617 |
Subjects: |
Internet
Stanford University
Call Number: |
QA76.9 .A96 T33 1999 |
---|
Massachusetts Institute of Technology
Call Number: |
QA76.9.A96.T33 1999 |
---|
Johns Hopkins University
Call Number: |
QA76.9.A96 T33 1999 |
---|