Biblio

Found 73 results
2017
M. Priestley, AI and the Origins of the Functional Programming Language Style, Minds and Machines, vol. 27, pp. 449–472, 2017.
J. Copeland and Long, J., Alan Turing: How His Universal Machine Became a Musical Instrument, IEEE Spectrum, 2017.
G. Primiero, Algorithmic Iteration for Computational Intelligence, Minds and Machines, pp. 1–23, 2017.
Lde Almedia Pereira and Vianna, M., Dimensoes da Historia e da Memoria da Informatica no Brasil (in Portuguese). Jundiai - SP: Paco Editorial, 2017.
R. Vahrenkamp, The First Information Explosion. The Role of Punch Card Technology in the Office Rationalization in Germany, 1910-1939, Zeitschrift für Technikgeschichte, vol. 84, no. 3, 2017.
F. Cardone, Games, Full Abstraction and Full Completeness, in The Stanford Encyclopedia of Philosophy, Spring 2017th ed., E. N. Zalta Metaphysics Research Lab, Stanford University, 2017.
T. Petricek, Miscomputation in software: Learning to live with errors, The Art, Science, and Engineering of Programming, vol. 1, no. 2, 2017.
E. A. Lee, Plato and the Nerd, 1st ed. MIT Press, 2017.
L. Corry, Turing's Pre-war Analog Computers: The Fatherhood of the Modern Computer Revisited, Commun. ACM, vol. 60, pp. 50–58, 2017.
M. Y. Vardi, Would Turing Have Won the Turing Award?, Commun. ACM, vol. 60, pp. 7–7, 2017.
2015
F. Cardone, Continuity in Semantic Theories of Programming, History and Philosophy of Logic, pp. 1-20, 2015.

Pages