Publications

Export 15 results:
Author Title [ Type(Asc)] Year
Filters: Author is Provijn, Dagmar  [Clear All Filters]
Conference Paper
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.
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.