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.
A first course in function analysis / Martin Davis
A first course in function analysis / Martin Davis
Autore DAVIS, Martin
Pubbl/distr/stampa New York : Gordon and Breach, copyr. 1966
Descrizione fisica XII, 110 p. ; 24 cm
Disciplina 515.7
Collana Notes on mathematics and its applications
Soggetto topico Analisi funzionale
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003342370203316
DAVIS, Martin  
New York : Gordon and Breach, copyr. 1966
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Applied nonstandard analysis / Martin Davis
Applied nonstandard analysis / Martin Davis
Autore DAVIS, Martin
Pubbl/distr/stampa New York [etc.] : John Wiley & Sons, 1977
Descrizione fisica XI, 181 p. ; 23 cm
Disciplina 515
Collana Pure and applied mathematics
Soggetto topico Analisi matematica
ISBN 0-471-19897-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003237660203316
DAVIS, Martin  
New York [etc.] : John Wiley & Sons, 1977
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti
Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti
Autore DAVIS, Martin
Edizione [Nuova ed. ampliata]
Pubbl/distr/stampa Milano : Adelphi, 2012
Descrizione fisica 327 p. ; 22 cm
Disciplina 004.09
Collana Gli Adelphi
Soggetto topico Elaboratori - Storia
ISBN 978-88-459-2741-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990005881580203316
DAVIS, Martin  
Milano : Adelphi, 2012
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Sourcebook on contract law / David Oughton and Martin Davis
Sourcebook on contract law / David Oughton and Martin Davis
Autore OUGHTON, David
Pubbl/distr/stampa London : Cavendish Publishing, 1996
Descrizione fisica XXXIX, 624 p. ; 23 cm
Disciplina 346.4202
Altri autori (Persone) DAVIS, Martin
Soggetto topico Contratti - Diritto - Gran Bretagna
ISBN 1-85941-048-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990002834640203316
OUGHTON, David  
London : Cavendish Publishing, 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis
Pubbl/distr/stampa New York, : Raven, 1965
Descrizione fisica 440 p. ; 24 cm.
Disciplina 511.3
Soggetto topico TEORIA DELLE DECISIONI
Teorema di incompletezza di Gödel
PROPOSIZIONI NON DECIDIBILI
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990005599170203316
New York, : Raven, 1965
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
The undecidable : Basic papers on undecidable propositions, unsolvable problems and computable functions / Edited by Martin Davis
The undecidable : Basic papers on undecidable propositions, unsolvable problems and computable functions / Edited by Martin Davis
Pubbl/distr/stampa New York : Raven Press, 1965
Descrizione fisica 440 p. ; 23 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003227240203316
New York : Raven Press, 1965
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui