top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / / William McCune, ed
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / / William McCune, ed
Pubbl/distr/stampa Springer Berlin / Heidelberg
Disciplina 006.3/33
Altri autori (Persone) McCuneWilliam
Soggetto topico Automatic theorem proving - Congresses
Logic, Symbolic and mathematical - Congresses
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465556603316
Springer Berlin / Heidelberg
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / / William McCune, ed
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / / William McCune, ed
Pubbl/distr/stampa Springer Berlin / Heidelberg
Disciplina 006.3/33
Altri autori (Persone) McCuneWilliam
Soggetto topico Automatic theorem proving - Congresses
Logic, Symbolic and mathematical - Congresses
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910767548303321
Springer Berlin / Heidelberg
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui