HaPoC - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2016

History and Philosophy of Computing - Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected PapersFabio Gadducci, Mirko Tavosanis, editors, Volume 487 of IFIP Advances in Information and Communication Technology, 2016. [doi]

2015

Theory of Knowing Machines: Revisiting Gödel and the Mechanistic ThesisAlessandro Aldini, Vincenzo Fano, Pierluigi Graziani. hapoc 2016: 57-70 [doi]

Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander de Villa DeiNadia Ambrosetti. hapoc 2016: 71-86 [doi]

From Close to Distant and Back: How to Read with the Help of MachinesRudi Bonfiglioli, Federico Nanni. hapoc 2016: 87-100 [doi]

From Cells as Computation to Cells as AppsAndrea Bracciali, Enrico Cataldo, Luisa Damiano, Claudio Felicioli, Roberto Marangoni, Pasquale Stano. hapoc 2016: 116-130 [doi]

«Omnia Numerorum Videntur Ratione Formata». A 'Computable World' Theory in Early Medieval PhilosophyLuigi Catalani. hapoc 2016: 131-140 [doi]

From urelements to Computation - A Journey Through Applications of Fraenkel's Permutation Model in Computer ScienceVincenzo Ciancia. hapoc 2016: 141-155 [doi]

Computing, Design, Art: Reflections on an Innovative Moment in HistoryStephen Boyd Davis, Simone Gristwood. hapoc 2016: 101-115 [doi]

Frege's Habilitationsschrift: Magnitude, Number and the Problems of ComputabilityJuan Luis Gastaldi. hapoc 2016: 168-185 [doi]

Wherefore Art Thou... Semantics of Computation?Furio Honsell. hapoc 2016: 3-23 [doi]

Trente ans ou la Vie d′un scientifiqueVladimir A. Kitov, Valery V. Shilov, Sergey A. Silantiev. hapoc 2016: 186-202 [doi]

From Information to Perception - The New Design of the Emerging Computer Technologies and Its EffectsNicola Liberati. hapoc 2016: 203-215 [doi]

Several Types of Types in Programming LanguagesSimone Martini. hapoc 2016: 216-227 [doi]

Playfulness and the Advent of Computerization in Spain: The National Club of ZX81 UsersIgnasi Meda-Calvet. hapoc 2016: 228-242 [doi]

The Contribution of Carl Adam Petri to Our Understanding of 'Computing'Giorgio De Michelis. hapoc 2016: 156-167 [doi]

Impact of Informatics on Mathematics and Its Teaching - On the Importance of Epistemological Analysis to Feed Didactical ResearchSimon Modeste. hapoc 2016: 243-255 [doi]

Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive ConvergencePierre E. Mounier-Kuhn. hapoc 2016: 24-41 [doi]

Epistemic Opacity, Confirmation Holism and Technical Debt: Computer Simulation in the Light of Empirical Software EngineeringJulian Newman. hapoc 2016: 256-272 [doi]

The Brain in Silicon: History, and SkepticismAlessio Plebe, Giorgio Grasso. hapoc 2016: 273-286 [doi]

Interactive Spatial Sound Intervention: A Case StudyElisabetta Senesi. hapoc 2016: 42-53 [doi]

The Role of Computers in Visual ArtMario Verdicchio. hapoc 2016: 287-299 [doi]

In Search of the Roots of Formal ComputationJan von Plato. hapoc 2016: 300-320 [doi]

Sign in or sign up to see more results.

runs on WebDSL