Publications

Export 102 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is P  [Clear All Filters]
2010
Heeffer, Albrecht. 2010. The Body In Renaissance Arithmetic: From Mnemonics To Embodied Cognition. In Proceedings of the Thirty Sixth Annual Convention of the Society for the Study of Artificial Intelligence and Simulation, Proceedings of the Thirty Sixth Annual Convention of the Society for the Study of Artificial Intelligence and Simulation, Alison Pease, Guhe, Markus, and Smaill, Alan. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour.
Primiero, Giuseppe. 2010. Constructive Contextual Modal Judgments For Reasoning From Open Assumptions. In Proceedings of the Computability in Europe 2010 Conference, Proceedings of the Computability in Europe 2010 Conference, F Ferreira, Guerra, H, Mayordomo, E, and Rasga, J. Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores.
Primiero, Giuseppe. 2010. A Multi-Modal Dependent Type Theory For Representing Data Accessibility In A Network.. In Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Citeseer.
De Mey, Tim, and Dagmar Provijn. 2010. William Harvey En De Ontdekking Van De Bloedsomloop. Linda Van Speybroeck and Braeckman, Johan. Fascinerend Leven. Markante Figuren en Ideeën uit de Geschiedenis van de Biologie.
2009
Pieters, Eva. 2009. "clear Moon, Frost Soon". An Introduction To The Study Of Meteorological Practices In The Low Countries (1550-1850). In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Erik Weber, Libert, Thierry, Marage, Pierre, and Vanpaemel, Geert. {Koninklijke Vlaamse Academie van België.
Primiero, Giuseppe. 2009. A Constructive Modal Semantics For Contextual Verification. In Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, CEUR-Workshop Proceedings. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-550/.
Primiero, Giuseppe. 2009. Epistemic Modalities Giuseppe Primiero and Rahman, Shahid. Acts of Knowledge: History, Philosophy and Logic 9: 207–232.
Primiero, Giuseppe. 2009. Epistemic Modalities Giuseppe Primiero and Rahman, Shahid. Acts of Knowledge: History, Philosophy and Logic 9: 207–232.

Pages