Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'97 : Pont-à-Mousson, France, May 13-16, 1997 : proceedings / Didier Galmiche (ed.)

• Record Nr.: UNISA990000202150203316
• Autore: International TABLEAUX'97 : 1997
• Pubbl/distr/stampa: Berlin : Springer-Verlag, copyr. 1997
• ISBN: 3-540-62920-3
• Descrizione fisica: XI, 372 p. : ill. ; 23 cm
• Collana: Lecture notes in artificial intelligence ; 1227
• Disciplina: 0063
• Collocazione: 006.3 LNAI (1227)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia