Logic programming and automated reasoning : International conference LPAR'92, St. Petersburg, Russia, July 15-20,1992 : proceedings / A. Voronkov (ed.)
(View in marc format)
(View in BIBFRAME)
| Author: |
International conference LPAR'92 : 1992
|
| Title: |
Logic programming and automated reasoning : International conference LPAR'92, St. Petersburg, Russia, July 15-20,1992 : proceedings / A. Voronkov (ed.)
|
| Publisher: | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Physical description: | XIV, 509 p. : ill. ; 25 cm |
| Dewey: | 005131 |
| Uncontrolled subject: | congressi - leningrado - 1992 |
| elaboratori elettronici - programmazione - congressi - 1992 | |
| intelligenza artificiale - congressi - 1992 | |
| logica matematica - congressi - 1992 | |
| Person (second resp.): | Voronkov, Andrei |
| General notes: | serie principale: lecture notes incomputer science |
| Preferred title for the work: | Logic programming and automated reasoning |
| ISBN: | 3-540-55727-X |
| Format: | Language material  |
| Bibliographic level | Monograph |
| Language: | English |
| Record Nr.: | 990000200970203316 |
| You will find it: | Univ. di Salerno |
| Location code: | 006.3 LNIA (624) |
| Opac: | Check copies here |
Series:
Lecture notes in artificial intelligence
| Library: | Univ. di Salerno |
| Opac: | Check copies here |