Automated reasoning with analytic tableaux and related methods / TABLEAUX

Public ISBD Titre : Automated reasoning with analytic tableaux and related methods Titre original : International conference, TABLEAUX '97 Type de document : texte imprimé Auteurs : TABLEAUX ; Galmiche, Didier Ed. Editeur : Springer-Verlag Année de publication : 1997 Collection : Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence num. 1227 Importance : xi - 373 p. ISBN/ISSN/EAN : 978-3-540-62920-7 Langues : Anglais Mots-clés : related methods  analytical tableaux  automated reasoning  tableaux '97  conference  proceedings  pont-a-mousson (france) Index. décimale : IRIN Automated reasoning with analytic tableaux and related methods = International conference, TABLEAUX '97 [texte imprimé] / TABLEAUX ; Galmiche, Didier Ed. . - [S.l.] : Springer-Verlag, 1997 . - xi - 373 p.. - (Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence; 1227) . ISBN : 978-3-540-62920-7 Langues : Anglais Mots-clés : related methods  analytical tableaux  automated reasoning  tableaux '97  conference  proceedings  pont-a-mousson (france) Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12964	IRIN/03C63	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

---

page 1/1