Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is D and Author is Denecker, M.  [Clear All Filters]
2002
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.