Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings /

Bibliographic Details
Corporate Author:	TABLEAUX'98 Oisterwijk, Netherlands
Other Authors:	Swart, H. C. M. de
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1998]
Series:	Lecture notes in computer science ; 1397. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Artificial intelligence > Congresses.

Remote Storage