Vai al contenuto principale della pagina
Titolo: |
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / / William McCune, ed
![]() |
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 ![]() |
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 |