Vista normal Vista MARC Vista ISBD

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX §97, Pont-a-Mousson, France, May 1997 : proceedings / Didier Galmiche, ed. - 372 páginas - Lecture notes in computer science ; Lecture notes in artificial intelligence 1227. . - Lecture notes in computer science .

Incluye referencias bibliograficas e indices.

ISBN: 3540629203 (rustica : papel alcalino)

Subjects--Topical Terms:
Teorema, Comprobacion automatica de--Congresos
Procesamiento paralelo (Computadoras electrónicas)--Congresos

LC Class. No.: QA76.9A96 / T33 1997

Dewey Class. No.: 006.3/33