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...

Full description

Bibliographic Details
Corporate Author:	TABLEAUX'98 Oisterwijk, Netherlands
Other Authors:	Swart, H. C. M. de, de Swart, Harrie
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:	Artificial intelligence > Congresses Artificial intelligence Automatic theorem proving > Congresses Computer science Automatic theorem proving Conference papers and proceedings Oisterwijk (1998)

Internet

Yale University

Holdings details from Yale University
Call Number:	QA76 A1 L43 1397 (LC)

University of Chicago

Holdings details from University of Chicago
Call Number:	QA76.9.A96T34 1998

Harvard University

Holdings details from Harvard University
Call Number:	QA75 .L4 vol. 1397

Duke University

Holdings details from Duke University
Call Number:	001.64 L471, v.1397

Cornell University

Holdings details from Cornell University
Call Number:	QA76.9.A96 T43w 1998

Columbia University

Holdings details from Columbia University
Call Number:	QA76.9.A96 T34 1998

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number:	QA76.9.A96 T33 1998

Brown University

Holdings details from Brown University
Call Number:	QA76.9.A96 T34 1998