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

Bibliographic Details
Corporate Authors:	TABLEAUX '97 Pont-à-Mousson, France, SpringerLink (Online service)
Other Authors:	Galmiche, Didier, 1958-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1997]
Series:	Lecture notes in computer science ; 1227. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Parallel processing (Electronic computers) > Congresses. raisonnement automatique. tableau sémantique. tableau. démonstration théorème. théorie démonstration. Parallélisme (Informatique) > Congrès. Théorèmes > Démonstration automatique > Congrès. Automatic theorem proving. Parallel processing (Electronic computers) Kunstmatige intelligentie. Redeneren. Inteligencia Artificial (Computacao) Raisonnement > Congrès. Parallélisme (informatique) > Congrès. Automatisches Beweisverfahren. Pont-à-Mousson <1997>. Electronic books. Kongress > Pont-à-Mousson > 1997. Conference proceedings. Pont-à-Mousson (1997)
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (xi, 372 pages) : illustrations
Bibliography:	Includes bibliographical references and index.
ISBN:	3540629203 9783540629207
ISSN:	0302-9743 ;