Automated reasoning with analytic tableaux and related methods : International conference, TABLEAUX'98 : Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / Harrie de Swart (ed.)
Pubbl/distr/stampa
Berlin : Springer-Verlag, copyr. 1998
ISBN
3-540-64406-7
Descrizione fisica
X,324 p. : ill. ; 23 cm
Collana
Lecture notes in artificial intelligence ; 1397
Disciplina
0063
Collocazione
006.3 LNAI (1397)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
Note generali
serie principale: lecture notes incomputer science