• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

• 2016
• 
  Fabio Gadducci, Mirko Tavosanis:
  History and Philosophy of Computing - Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers. IFIP Advances in Information and Communication Technology 487, 2016, ISBN 978-3-319-47285-0 [contents]
• 2015
• 
  Alessandro Aldini, Vincenzo Fano, Pierluigi Graziani:
  Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis. HaPoC 2015: 57-70
• 
  Nadia Ambrosetti:
  Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander de Villa Dei. HaPoC 2015: 71-86
• 
  Rudi Bonfiglioli, Federico Nanni:
  From Close to Distant and Back: How to Read with the Help of Machines. HaPoC 2015: 87-100
• 
  Andrea Bracciali, Enrico Cataldo, Luisa Damiano, Claudio Felicioli, Roberto Marangoni, Pasquale Stano:
  From Cells as Computation to Cells as Apps. HaPoC 2015: 116-130
• 
  Luigi Catalani:
  «Omnia Numerorum Videntur Ratione Formata». A 'Computable World' Theory in Early Medieval Philosophy. HaPoC 2015: 131-140
• 
  Vincenzo Ciancia:
  From urelements to Computation - A Journey Through Applications of Fraenkel's Permutation Model in Computer Science. HaPoC 2015: 141-155
• 
  Stephen Boyd Davis, Simone Gristwood:
  Computing, Design, Art: Reflections on an Innovative Moment in History. HaPoC 2015: 101-115
• 
  Juan Luis Gastaldi:
  Frege's Habilitationsschrift: Magnitude, Number and the Problems of Computability. HaPoC 2015: 168-185
• 
  Furio Honsell:
  Wherefore Art Thou... Semantics of Computation? HaPoC 2015: 3-23
• 
  Vladimir A. Kitov, Valery V. Shilov, Sergey A. Silantiev:
  Trente ans ou la Vie d′un scientifique. HaPoC 2015: 186-202
• 
  Nicola Liberati:
  From Information to Perception - The New Design of the Emerging Computer Technologies and Its Effects. HaPoC 2015: 203-215
• 
  Simone Martini:
  Several Types of Types in Programming Languages. HaPoC 2015: 216-227
• 
  Ignasi Meda-Calvet:
  Playfulness and the Advent of Computerization in Spain: The National Club of ZX81 Users. HaPoC 2015: 228-242
• 
  Giorgio De Michelis:
  The Contribution of Carl Adam Petri to Our Understanding of 'Computing'. HaPoC 2015: 156-167
• 
  Simon Modeste:
  Impact of Informatics on Mathematics and Its Teaching - On the Importance of Epistemological Analysis to Feed Didactical Research. HaPoC 2015: 243-255
• 
  Pierre E. Mounier-Kuhn:
  Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence. HaPoC 2015: 24-41
• 
  Julian Newman:
  Epistemic Opacity, Confirmation Holism and Technical Debt: Computer Simulation in the Light of Empirical Software Engineering. HaPoC 2015: 256-272
• 
  Jan von Plato:
  In Search of the Roots of Formal Computation. HaPoC 2015: 300-320
• 
  Alessio Plebe, Giorgio M. Grasso:
  The Brain in Silicon: History, and Skepticism. HaPoC 2015: 273-286
• 
  Elisabetta Senesi:
  Interactive Spatial Sound Intervention: A Case Study. HaPoC 2015: 42-53
• 
  Mario Verdicchio:
  The Role of Computers in Visual Art. HaPoC 2015: 287-299