Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX ʹ97, Pont-à-Mousson, France, May 1997 : proceedings /

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited pa...

Full description

Bibliographic Details
Corporate Authors:	TABLEAUX '97 Pont-à-Mousson, France, TABLEAUX '97 Pont-à-Mousson, France, TABLEAUX ʾ97 Pont-à-Mousson, France
Other Authors:	Galmiche, Didier, 1958-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1997], ©1997 Berlin ; New York : c1997 Berlin ; New York : [1997]
Series:	Lecture notes in computer science ; 1227 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 Lecture notes in artificial intelligence. Lecture notes in computer science 1227 Lecture notes in computer science 1227
Subjects:	Artificial intelligence Automatic theorem proving > Congresses Computer science Logic, Symbolic and mathematical Parallel processing (Electronic computers) > Congresses Automatic theorem proving Parallel processing (Electronic computers) Conference papers and proceedings Pont-à-Mousson (1997) Pont-à-Mousson (1997)

Internet

Stanford University

Holdings details from Stanford University
Call Number:	QA76.9 .A96 T33 1997

University of Chicago

Holdings details from University of Chicago
Call Number:	QA76.9.A96 T33 1997

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA76.9.A96.T33 1997

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	QA 76.9 .A96 T33 1997

Harvard University

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

Duke University

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

Cornell University

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

Princeton University

Holdings details from Princeton University
Call Number:	QA76.9.A96 T33 1997

Columbia University

Holdings details from Columbia University
Call Number:	QA76.9.A96 T33 1997

University of Pennsylvania

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

Brown University

Holdings details from Brown University
Call Number:	QA76.9.A96 T33 1997