Publications

Export 15 results:
Author Title Type [ Year(Asc)]
Filters: Author is Provijn, Dagmar  [Clear All Filters]
2010
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.
2002
Provijn, Dagmar. 2002. Is Er Een Diepe Kloof Tussen De Heuristiek En De Inferentieregels Van Een Bewijstheorie? Een Poging Tot Integratie.. In Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Universiteit Amsterdam.
Provijn, Dagmar. 2002. How To Obtain Elegant Fitch-Style Proofs From Goal Directed Ones.. In Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, H. Blockeel and Denecker, M.