Theorem proving with analytic tableaux and related methods : 4th International workshop TABLEAUX'95 : SchloB Rheinfels, St. Goar, Germany, May 7-10, 1995 / Peter Baumgartner [ed.]
Pubbl/distr/stampa
Berlin [etc.] : Springer-Verlag, copyr. 1995
ISBN
3-540-59338-1
Descrizione fisica
X, 352 p. : ill. ; 24 cm
Collana
Lecture notes in artificial intelligence ; 918
Disciplina
0063
Collocazione
006.3 LNIA (918)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
Note generali
serie principale: lecture notes incomputer science