Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /
Other Authors: | , , , |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlin : New York :
Springer,
c1995
Berlin ; New York : [1995], ©1995 |
Series: | Lecture notes in computer science ;
918 Lecture notes in computer science Lecture notes in artificial intelligence Lecture notes in computer science Lecture notes in artificial intelligence. |
Subjects: |
Internet
University of Chicago
Call Number: |
QA76.9.A96T43 1995 |
---|
Johns Hopkins University
Call Number: |
QA 76.9 .A96 T431 1995 |
---|
Duke University
Call Number: |
001.64 L471, v. 918 |
---|
Columbia University
Call Number: |
QA76.9.A96 T43 1995g |
---|
Brown University
Call Number: |
QA76.9.A96 T44x 1995 |
---|