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.
Applied nonstandard analysis / Martin Davis
| Applied nonstandard analysis / Martin Davis |
| Autore | Davis, Martin |
| Pubbl/distr/stampa | New York : J. Wiley & Sons, c1977 |
| Descrizione fisica | xii, 181 p. ; 24 cm |
| Disciplina | 515 |
| Collana | Pure and applied mathematics. A wiley-interscience series of texts, monographs, and tracts, 0079-8185 |
| Soggetto topico |
Nonstandard mathematical analysis
Set-valued maps |
| ISBN | 0471198978 |
| Classificazione |
AMS 03H05
AMS 26E35 AMS 54C60 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000690859707536 |
Davis, Martin
|
||
| New York : J. Wiley & Sons, c1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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. ; 20 cm |
| Disciplina | 004.09 |
| Altri autori (Persone) | Rigamonti, Gianni |
| Collana | Gli Adelphi ; 423 |
| Soggetto topico |
Elaboratori elettronici - Storia
Calcolo automatico - Storia |
| ISBN | 9788845927416 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991002056239707536 |
|
Davis, Martin
|
||
| Milano : Adelphi, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 |
| Pubbl/distr/stampa | Milano : Adelphi, c2003 |
| Descrizione fisica | 321 p. ; 22 cm |
| Disciplina | 004.09 |
| Altri autori (Persone) | Rigamonti, Gianni |
| Collana | Biblioteca scientifica ; 35 |
| Soggetto topico | Elaboratori elettronici - Storia |
| ISBN | 8845917924 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003239599707536 |
|
Davis, Martin
|
||
| Milano : Adelphi, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computability & unsolvability / Martin Davis
| Computability & unsolvability / Martin Davis |
| Autore | Davis, Martin |
| Pubbl/distr/stampa | New York : McGraw-Hill, 1958 |
| Descrizione fisica | xxv, 210 p. ; 22 cm. |
| Disciplina | 511.35 |
| Collana | McGraw-Hill series in information processing and computers |
| Soggetto topico |
Models of computation
Recursive functions |
| Classificazione |
AMS 03D10
AMS 03D20 AMS 68Q05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000772859707536 |
|
Davis, Martin
|
||
| New York : McGraw-Hill, 1958 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Differential and integral calculus / Edmund Landau ; translated from the german by Melvin Hausner and Martin Davis
| Differential and integral calculus / Edmund Landau ; translated from the german by Melvin Hausner and Martin Davis |
| Autore | Landau, Edmund Georg Hermann |
| Pubbl/distr/stampa | New York : Chelsea Publishing Company, 1980 |
| Descrizione fisica | 372 p. ; 23 cm |
| Disciplina | 515.5 |
| Altri autori (Persone) |
Hausner, Melvin
Davis, Martin |
| Soggetto topico |
Calculus
Real functions |
| Classificazione | AMS 26-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002344359707536 |
|
Landau, Edmund Georg Hermann
|
||
| New York : Chelsea Publishing Company, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Differential and integral calculus / Edmund Landau ; translated from the german by Melvin Hausner and Martin Davis
| Differential and integral calculus / Edmund Landau ; translated from the german by Melvin Hausner and Martin Davis |
| Autore | Landau, Edmund Georg Hermann |
| Pubbl/distr/stampa | New York : Chelsea Publishing Company, 1965 |
| Descrizione fisica | 372 p. ; 23 cm. |
| Altri autori (Persone) |
Hausner, Melvin
Davis, Martin |
| Soggetto topico | Calculus, differential |
| Classificazione |
510.26
510.28 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000889439707536 |
|
Landau, Edmund Georg Hermann
|
||
| New York : Chelsea Publishing Company, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis
| Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis |
| Autore | Matiyasevich, Yuri V. |
| Pubbl/distr/stampa | Cambridge [etc.] : Mit Press, copyr. 1993 |
| Descrizione fisica | XXII, 262 p. : ill. ; 24 cm |
| Disciplina | 512.7 |
| Soggetto non controllato | numeriteoria algebrica |
| ISBN | 0-262-13295-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000193740203316 |
| Matiyasevich, Yuri V. | ||
| Cambridge [etc.] : Mit Press, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to modern algebra and matrix theory / by O. Schreier and E. Sperner ; translated by Martin Davis and Melvin Hausner
| Introduction to modern algebra and matrix theory / by O. Schreier and E. Sperner ; translated by Martin Davis and Melvin Hausner |
| Autore | Schreier, Otto |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | New York : Chelsea Pub. Co., c1959 |
| Descrizione fisica | viii, 378 p. : ill. ; 24 cm |
| Disciplina | 516.3 |
| Altri autori (Persone) |
Sperner Emanuel
Davis, Martin Rogers, Calvin A. |
| Soggetto topico |
Geometry, Analytic
Algebra |
| Classificazione | AMS 15-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002019629707536 |
|
Schreier, Otto
|
||
| New York : Chelsea Pub. Co., c1959 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 |
| Autore | Davis, Martin |
| Pubbl/distr/stampa | New York : Raven Press, c1965 |
| Descrizione fisica | 440 p. ; 24 cm. |
| Disciplina | 511.3 |
| Soggetto topico |
History of mathematics
Mathematical logic Undecidability |
| Classificazione |
AMS 01A05
AMS 03-00 AMS 03D35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001465469707536 |
|
Davis, Martin
|
||
| New York : Raven Press, c1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||