Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002

TitleHow to obtain elegant Fitch-style proofs from Goal directed ones.
Publication TypeConference Paper
AuthorsProvijn, D
EditorBlockeel, H, Denecker, M
UGent Biblio Link http://hdl.handle.net/1854/LU-152575

Export as...

BibTex   Tagged   XML   RIS
UGent Biblio Link: 
http://hdl.handle.net/1854/LU-152575