1.

Record Nr.

UNISA990000202150203316

Autore

International TABLEAUX'97 : 1997

Titolo

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

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