| Vai direttamente ai contenuti della pagina |

Torna alle ricerche nel catalogo
OPAC - Catalogo Unico Pavese
Le ricerche
Utilità

Risultati ricerca

Selezione: Macrì, Oreste - Congressi - 1994 Risultato ricerca: 1

 

Richiedi in prestito con OpenWeb

International conference on logic programming and automated reasoning [3. ; San Pietroburgo ; 1992]
Logic programming and automated reasoning : international conference LPAR '92 : St. Petersburg, Russia, July 1992 : proceedings / A. Voronkov (ed.). - Berlin [etc.] : Springer, c1992. - XIV, 509 p. ; 25 cm.. - (Lecture notes in artificial intelligence ; 624)

ISBN 038755727X (New York), 354055727X (Berlin)
Altri autori: Voronkov, Andrei [1959- ]
Collana: Lecture notes in artificial intelligence
Soggetti: Logica matematica - Congressi - San Pietroburgo - 1992
Classificazione: 005.131 [D] [D]

  Biblioteca Codice Collocazione Inventario Consistenza Note Prestito Disponibilità    
  Ateneo. Scienza e Tecnica - Ingegneria PAV0U6 AI5 00027 0 0005318 1 v.   Ammesso Materiale in biblioteca    

Tipo: 102 - Monografia moderna | Lingua: ENG | Paese: DE | Data di pubblicazione o produzione: 1992 | Gestione database: EC-PEC | Codice: MIL0138965 | MFN: 0466810

 

 

Tempo di elaborazione: inferiore a 1 secondo
OPAC - Catalogo Unico Pavese - Ultimo aggiornamento: 11-10-2019 06:20:49 - Schede in OPAC:  2093476
EasyWeb Five © 5.7.3 - 1994-2019 è un prodotto Nexus IT

Valid XHTML 1.0 Strict | Valid CSS!| Validazione WAI-AAA WCAG 1.0