1.
Record Nr.
UNISA990000200400203316
Autore
International conference LPAR '99 : 6. : 1999
Titolo
Logic for programming and automated reasoning : 6th International conference, LPAR'99 : Tbilisi, Georgia, September 6-10, 1999 : proceedings / Harald Ganzinger ...[et al.] (eds.)
Pubbl/distr/stampa
Berlino : Springer-Verlag, copyr. 1999
ISBN
3-540-66492-0
Descrizione fisica
XII, 395 p. : ill. ; 22 cm
Collana
Lecture notes in artificial intelligence ; 1705
Disciplina
0051
Collocazione
006.3 LNIA (1705)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia