Logic programming and automated reasoning : International conference LPAR'92, St. Petersburg, Russia, July 15-20,1992 : proceedings / A. Voronkov (ed.)
Pubbl/distr/stampa
Berlin [etc.] : Springer-Verlag, copyr. 1992
ISBN
3-540-55727-X
Descrizione fisica
XIV, 509 p. : ill. ; 25 cm
Collana
Lecture notes in artificial intelligence ; 624
Disciplina
005131
Collocazione
006.3 LNIA (624)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
Note generali
serie principale: lecture notes incomputer science