Autore: |
International conference, LPAR 2002 <9. ; 2002 ; Tbilisi, Georgia>
|
Titolo: |
Logic for programming, artificial intelligence, and reasoning : 9th International conference, LPAR 2002 : Tbilisi, Georgia, October 2002 : proceedings / Matthias Baaz... <et al.> (eds.)
|
Pubblicazione: |
Berlin [etc.] : Springer-Verlag, copyr. 2002 |
Descrizione fisica: |
XV, 463 p. : ill. ; 20 cm |
Disciplina: |
005.1 |
Soggetto non controllato: |
Elaboratori elettronici - Programmazione - Congressi - 2002 |
|
Logica matematica - Congressi - 2002 |
Persona (resp. second.): |
BAAZ, Matthias |
Note generali: |
Serie principale: Lecture notes in computer science |
Titolo autorizzato: |
Logic for programming, artificial intelligence, and reasoning ![Visualizza cluster](img/books.png) |
ISBN: |
3-540-00010-0 |
Formato: |
Materiale a stampa ![](img/format/mas.png) |
Livello bibliografico |
Monografia |
Lingua di pubblicazione: |
Inglese |
Record Nr.: | 990001117540203316 |
Lo trovi qui: | Univ. di Salerno |
Collocazione: |
006.3 LNIA (2514) |
Opac: |
Controlla la disponibilità qui |