Vai al contenuto principale della pagina

Logic programming and automated reasoning : 5th International conference LPAR'94 : Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.)



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: International conference LPAR'94 : 5. : 1994 Visualizza persona
Titolo: Logic programming and automated reasoning : 5th International conference LPAR'94 : Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.) Visualizza cluster
Pubblicazione: Berlin [etc.] : Springer-Verlag, copyr. 1994
Descrizione fisica: X, 344 p. : ill. ; 24 cm
Disciplina: 005131
Soggetto non controllato: congressi - kiev - 1994
elaboratori elettronici - programmazione - congressi - 1994
intelligenza artificiale - congressi - 1994
logica matematica - congressi - 1994
Persona (resp. second.): Pfenning, Frank
Note generali: serie principale: lecture notes incomputer science
Titolo autorizzato: Logic programming and automated reasoning  Visualizza cluster
ISBN: 3-540-58216-9
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990000200500203316
Lo trovi qui: Univ. di Salerno
Collocazione: 006.3 LNIA (822)
Opac: Controlla la disponibilità qui
Serie: Lecture notes in artificial intelligence
Biblioteca: Univ. di Salerno
Opac: Controlla la disponibilità qui