International conference, LPAR 2003 <10. ; 2003 ; Almaty, Kazakhstan>
Titolo
Logic for programming, artificial intelligence, and reasoning : 10th International conference, LPAR 2003 : Almaty, Kazakhstan, September 22-26, 2003 : proceedings / Moshe Y. Vardi, Andrei Voronkov (Eds.)
Pubbl/distr/stampa
Berlin [etc.] : Springer, copyr. 2003
ISBN
3-540-20101-7
Descrizione fisica
XIII, 436 p. : ill. ; 24 cm
Collana
Lecture notes in artificial intelligence ; 2850
Disciplina
005.1
Collocazione
006.3 LNAI 2850
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
Note generali
Serie principale: Lecture notes in computer science