Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Towards the Structure of Mathematical Proof
2014
Kah24NoP
-
In proceedings
Reinhard Kahle
Matthew England, et al.
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM
CEUR Workshop Proceedings
-
-
1186
-
-
-
-
http://ceur-ws.org/Vol-1186/paper-22.pdf
Export formats
Reinhard Kahle, Towards the Structure of Mathematical Proof, in: Matthew England and et al. (eds), Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM, CEUR Workshop Proceedings, Vol. 1186, (http://ceur-ws.org/Vol-1186/paper-22.pdf), 2014.
<a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="author">Reinhard Kahle</a>, <b>Towards the Structure of Mathematical Proof</b>, in: Matthew England and et al. (eds), <u>Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM</u>, CEUR Workshop Proceedings, Vol. 1186, (<a href="http://ceur-ws.org/Vol-1186/paper-22.pdf" target="_blank">url</a>), 2014.
@inproceedings {Kah24NoP, author = {Reinhard Kahle}, editor = {Matthew England and et al.}, title = {Towards the Structure of Mathematical Proof}, booktitle = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM}, series = {CEUR Workshop Proceedings}, volume = {1186}, url = {http://ceur-ws.org/Vol-1186/paper-22.pdf}, year = {2014}, }
Publication's urls
/publications/view.php?code=426d8c2694a66bd367ef450c0ab641eb
/publications/view.php?code=Kah24NoP
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT