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)
Symposium on automatic demonstration / edited by M. Laudet ... [et. al.]
Symposium on automatic demonstration / edited by M. Laudet ... [et. al.]
Autore Laudet, M.
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1970
Descrizione fisica 310 p. ; 26 cm
Disciplina 511.3
Altri autori (Convegni) Symposium on automatic demonstration <1968 ; Versailles>
Collana Lecture notes in mathematics, 0075-8434 ; 125
Soggetto topico Automatic theorem proving - Congresses
Classificazione AMS 03-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001408119707536
Laudet, M.  
Berlin ; New York : Springer-Verlag, 1970
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Symposium on Automatic Demonstration / edited by M. Laudet ... [et al.]
Symposium on Automatic Demonstration / edited by M. Laudet ... [et al.]
Pubbl/distr/stampa Berlin [etc.] : Springer, 1970
Descrizione fisica 310 p. ; 26 cm.
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Teoria della dimostrazione - Congressi
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
fre
Record Nr. UNIBAS-000014889
Berlin [etc.] : Springer, 1970
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Symposium on automatic demonstration [e-book] : held at Versailles/France, December 1968 / edited by M. Laudet ... [et al.]
Symposium on automatic demonstration [e-book] : held at Versailles/France, December 1968 / edited by M. Laudet ... [et al.]
Pubbl/distr/stampa Berlin : Springer, 1970
Descrizione fisica 1 online resource (310 p.)
Disciplina 511.3
Altri autori (Persone) Laudet, M.
Collana Lecture Notes in Mathematics, 0075-8434 ; 125
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540362623
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002156579707536
Berlin : Springer, 1970
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui