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

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

Enregistré dans:
Détails bibliographiques
Autres auteurs : Galmiche Didier (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX ʹ97, Pont-à-Mousson, France, May 1997 : proceedings / Didier Galmiche (ed.)
Publié : Berlin, New York : Springer , 1997
Description matérielle : 1 vol. (XII-372 p.)
Collection : Lecture notes in computer science ; 1227
Lecture notes in computer science
Sujets :
Raisonnement > Actes de congrès
Théorèmes > Démonstration automatique > Actes de congrès
Parallélisme (informatique) > Actes de congrès
Description
Bibliographie : Notes bibliogr.
ISBN : 3-540-62920-3