Vai al contenuto principale della pagina

Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / / William McCune, ed



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / / William McCune, ed Visualizza cluster
Pubblicazione: Springer Berlin / Heidelberg
Disciplina: 006.3/33
Soggetto topico: Automatic theorem proving - Congresses
Logic, Symbolic and mathematical - Congresses
Altri autori: McCuneWilliam  
Titolo autorizzato: Automated deduction, CADE-14  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910767548303321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui