Home Advanced Search

Advanced Search - Page 1

Computing with Foresight and Industry: 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero
Information and knowledge: A constructive type-theoretical approach
  • PDF
  • English
  • Year: 2008
  • Author: Primiero, Giuseppe
Information and Knowledge: A Constructive Type-theoretical Approach
  • PDF
  • English
  • Year: 2008
  • Author: Giuseppe Primiero (auth.)
Reflections on Programming Systems: Historical and Philosophical Aspects
  • PDF
  • English
  • Year: 2018
  • Author: Liesbeth De Mol, Giuseppe Primiero
Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Jarkko Kari, Florin Manea, Ion Petre (eds.)
Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Cezar Câmpeanu, Florin Manea, Jeffrey Shallit (eds.)
Language and Nature in the Classical Roman World
  • PDF
  • English
  • Year: 2019
  • Author: Giuseppe Pezzini; Barnaby Taylor
Surveys in Combinatorics 2021
  • PDF
  • English
  • Year: 2021
  • Author: Konrad K. Dabrowski, Maximilien Gadouleau, Nicholas Georgiou, Matthew Johnson, George B. Mertzios, Daniël Paulusma
The Realism-Antirealism Debate in the Age of Alternative Logics
  • PDF
  • English
  • Year: 2012
  • Author: Shahid Rahman, Giuseppe Primiero, Mathieu Marion (eds.)
The Realism-Antirealism Debate in the Age of Alternative Logics
  • PDF
  • English
  • Year: 2012
  • Author: Shahid Rahman, Giuseppe Primiero, Mathieu Marion (eds.)
search