Vai al contenuto principale della pagina

6th Conference on automated deduction : New York, USA, june 7-9, 1982 / edited by D.W. Loveland



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Conference on automated deduction <6.; 1982; New York> Visualizza persona
Titolo: 6th Conference on automated deduction : New York, USA, june 7-9, 1982 / edited by D.W. Loveland Visualizza cluster
Pubblicazione: Berlin : Springer Verlag, 1982
Descrizione fisica: VII, 389 p. ; 24 cm
Disciplina: 519.4
Persona (resp. second.): LOVELAND, D.W.
Titolo autorizzato: 6th Conference on automated deduction  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990000483280203316
Lo trovi qui: Univ. di Salerno
Collocazione: 001 LNCS 138
Opac: Controlla la disponibilità qui
Serie: Lecture notes in computer science ; 138
Biblioteca: Univ. di Salerno
Opac: Controlla la disponibilità qui