Vai al contenuto principale della pagina

Automated deduction : CADE-11 : 11th International conference on automated deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.)



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: International conference on automated deduction : 11. : 1992 Visualizza persona
Titolo: Automated deduction : CADE-11 : 11th International conference on automated deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.) Visualizza cluster
Pubblicazione: Berlin [etc.] : Springer-Verlag, copyr. 1992
Descrizione fisica: XV, 793 p. : ill. ; 25 cm
Disciplina: 005131
Soggetto non controllato: congressi - saratoga springs - 1992
intelligenza artificiale - congressi - 1992
logica matematica - congressi - 1992
Persona (resp. second.): Kapur, Deepak
Note generali: serie principale: lecture notes incomputer science
Titolo autorizzato: Automated deduction  Visualizza cluster
ISBN: 3-540-55602-8
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990000202070203316
Lo trovi qui: Univ. di Salerno
Collocazione: 006.3 LNIA (607)
Opac: Controlla la disponibilità qui
Serie: Lecture notes in artificial intelligence
Biblioteca: Univ. di Salerno
Opac: Controlla la disponibilità qui