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
What is a proof?
2015
Kah15
-
Journal
Reinhard Kahle
Axiomathes
-
-
25
1
79-91
-
-
-
http://dx.doi.org/10.1007/s10516-014-9252-9
Export formats
Reinhard Kahle, What is a proof?, Axiomathes, Vol. 25, No. 1, Pag. 79-91, (http://dx.doi.org/10.1007/s10516-014-9252-9), 2015.
<b><a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="author">Reinhard Kahle</a></b>, <u>What is a proof?</u>, Axiomathes, Vol. 25, No. 1, Pag. 79-91, (<a href="http://dx.doi.org/10.1007/s10516-014-9252-9" target="_blank">url</a>), 2015.
@article {Kah15, author = {Reinhard Kahle}, title = {What is a proof?}, journal = {Axiomathes}, volume = {25}, number = {1}, pages = {79-91}, url = {http://dx.doi.org/10.1007/s10516-014-9252-9}, year = {2015}, }
Publication's urls
/publications/view.php?code=d6cc65de6fe5210824a28cbeb3a33048
/publications/view.php?code=Kah15
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