Publications

Export 15 results:
Author [ Title(Desc)] Type Year
Filters: Author is Provijn, Dagmar  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
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.
H
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.
W
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.