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  .
<br/><br/>Incluye referencias bibliograficas e indices. 
<br/><br/><label>ISBN: </label>3540629203 (rustica : papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teorema, Comprobacion automatica de--Congresos<br/>Procesamiento paralelo (Computadoras electrónicas)--Congresos
<br/><br/><label>LC Class. No.: </label>QA76.9A96  / T33 1997 
<br/><br/><label>Dewey Class. No.: </label>006.3/33