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.
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
Opac: Controlla la disponibilità qui
Intelligenza meccanica / Alan M. Turing ; a cura di Gabriele Lolli
Intelligenza meccanica / Alan M. Turing ; a cura di Gabriele Lolli
Autore Turing, Alan Mathison
Pubbl/distr/stampa Torino, : Bollati Boringhieri, c1994
Descrizione fisica 160 p. ; 20 cm
Disciplina 006.3
153
Collana Universale Bollati Boringhieri, Serie scientifica
Soggetto non controllato Intelligenza artificiale
ISBN 88-339-0880-1
978-88-339-0880-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-9910309352703321
Turing, Alan Mathison  
Torino, : Bollati Boringhieri, c1994
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui