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.
From mathematical constructivity to computer science : Alan Turing, John von Neumann, and the origins of computer science in mathematical logic / William F. Aspray Jr
| From mathematical constructivity to computer science : Alan Turing, John von Neumann, and the origins of computer science in mathematical logic / William F. Aspray Jr |
| Autore | Aspray, William Franklin <jr> |
| Pubbl/distr/stampa | Ann Arbor, Michigan, USA ; London, England : Univ. Microfilms International, 1982 |
| Descrizione fisica | v, 443 p. ; 21 cm |
| Altri autori (Persone) |
Turing, Alan Mathison
Neumann, John : von |
| Soggetto topico | Mathematics - History |
| Classificazione |
AMS 01A60
AMS 68-03 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000914089707536 |
Aspray, William Franklin <jr>
|
||
| Ann Arbor, Michigan, USA ; London, England : Univ. Microfilms International, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Intelligenza meccanica / Alan M. Turing ; a cura di Gabriele Lolli
| Intelligenza meccanica / Alan M. Turing ; a cura di Gabriele Lolli |
| Autore | Turing, Alan Mathison |
| Edizione | [1. ed.] |
| Pubbl/distr/stampa | Torino : Boringhieri, 1994 |
| Descrizione fisica | 160 p. : ill. ; 20 cm |
| Disciplina | 510.9 |
| Altri autori (Persone) | Lolli, Gabriele |
| Collana | Serie scientifica ; 268 |
| Soggetto topico |
Collected works-Turing, Alan M.
Calcolatrici digitali |
| ISBN | 8833908801 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001005269707536 |
|
Turing, Alan Mathison
|
||
| Torino : Boringhieri, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Machine intelligence 5 / edited by Bernard Meltzer and Donald Michie ; with a previously unpublished report by A.M. Turing
| Machine intelligence 5 / edited by Bernard Meltzer and Donald Michie ; with a previously unpublished report by A.M. Turing |
| Autore | Meltzer, Bernard |
| Pubbl/distr/stampa | Edinburgh : At the University Press, c1969 |
| Descrizione fisica | vii, 580 p. : ill. ; 26 cm |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 85224-176-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001351700403321 |
|
Meltzer, Bernard
|
||
| Edinburgh : At the University Press, c1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical logic / A.M. Turing ; edited by the late R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.]
| Mathematical logic / A.M. Turing ; edited by the late R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.] |
| Autore | Turing, Alan Mathison |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 2001 |
| Descrizione fisica | XII, 293 p. : ill. ; 25 cm |
| Collana | Collected works of A.M. Turing |
| Soggetto non controllato | Storia della matematica |
| ISBN | 0-444-50423-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990007934440403321 |
|
Turing, Alan Mathison
|
||
| Amsterdam [etc.] : North-Holland, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical logic [e-book] / edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.]
| Mathematical logic [e-book] / edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.] |
| Autore | Turing, Alan Mathison |
| Pubbl/distr/stampa | Amsterdam ; New York : Elsevier Science, 2001 |
| Descrizione fisica | xii, 293 p. : ill. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Gandy, R. O. (Robin O.)
Yates, C. E. M. |
| Collana | Collected works of A. M. Turing |
| Soggetto topico | Logic, Symbolic and mathematical |
| ISBN |
9780444504234
0444504230 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003278079707536 |
|
Turing, Alan Mathison
|
||
| Amsterdam ; New York : Elsevier Science, 2001 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mechanical intelligence / A.M. Turing ; edited by D.C. Ince
| Mechanical intelligence / A.M. Turing ; edited by D.C. Ince |
| Autore | Turing, Alan Mathison |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1992 |
| Descrizione fisica | XIX, 227 p. : ill. ; 25 cm |
| Collana | Collected works of A.M. Turing |
| Soggetto non controllato | Storia della matematica |
| ISBN | 0-444-88058-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001114710403321 |
|
Turing, Alan Mathison
|
||
| Amsterdam [etc.] : North-Holland, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mechanical intelligence / ed. D. C. Ince
| Mechanical intelligence / ed. D. C. Ince |
| Autore | Turing, Alan Mathison |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1992 |
| Descrizione fisica | xix, 227 p. ; 25 cm. |
| Disciplina | 510 |
| Altri autori (Persone) | Ince, Darrel |
| Collana | Collected works of A. M. Turing |
| Soggetto topico |
Artificial intelligence
Collected works-Turing, Alan M. |
| ISBN | 0444880585 |
| Classificazione |
AMS 68T
QA335.5.T87 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001134089707536 |
|
Turing, Alan Mathison
|
||
| Amsterdam : North-Holland, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Morphogenesis / A.M. Turing ; edited by P.T. Saunders
| Morphogenesis / A.M. Turing ; edited by P.T. Saunders |
| Autore | Turing, Alan Mathison |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1992 |
| Descrizione fisica | XXV, 131 p. : ill. ; 25 cm |
| Collana | Collected works of A.M. Turing |
| Soggetto non controllato | Storia della matematica |
| ISBN | 0-444-88486-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001114700403321 |
|
Turing, Alan Mathison
|
||
| Amsterdam [etc.] : North-Holland, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pure mathematics / A.M. Turing ; edited by J.L. Britton ; with a section on Turing's statistical work by I.J. Good
| Pure mathematics / A.M. Turing ; edited by J.L. Britton ; with a section on Turing's statistical work by I.J. Good |
| Autore | Turing, Alan Mathison |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1992 |
| Descrizione fisica | XXII, 287 p. ; 25 cm |
| Collana | Collected works of A.M. Turing |
| Soggetto non controllato | Storia della matematica |
| ISBN | 0-444-88059-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001114720403321 |
|
Turing, Alan Mathison
|
||
| Amsterdam [etc.] : North-Holland, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pure mathematics / ed. J. L. Britton
| Pure mathematics / ed. J. L. Britton |
| Autore | Turing, Alan Mathison |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1992 |
| Descrizione fisica | xxii, 287 p. ; 25 cm. |
| Disciplina | 510 |
| Altri autori (Persone) | Britton, J. L. |
| Collana | Collected works of A. M. Turing |
| Soggetto topico | Collected works-Turing, Alan M. |
| ISBN | 0444880593 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001273559707536 |
|
Turing, Alan Mathison
|
||
| Amsterdam : North-Holland, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
