Publications

Export 1 results:
Author [ Title(Desc)] Type Year
Filters: Author is Blockeel, H.  [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 
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.