A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'analytical tableaux'
Affiner la recherche Générer le flux rss de la recherche
Automated reasoning with analytic tableaux and related methods / TABLEAUX
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