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
Classifying proofs
2014
Kah13LC
-
Journal
Reinhard Kahle
Bulletin of Symbolic Logic
-
-
20
2
214
-
-
Abstract of an invited talks in the Special Session on Logical Analysis of Mathematical Proofs at the Logic Colloquium 2013.
-
Export formats
Reinhard Kahle, Classifying proofs, Bulletin of Symbolic Logic, Vol. 20, No. 2, Pag. 214, <i>Abstract of an invited talks in the Special Session on Logical Analysis of Mathematical Proofs at the Logic Colloquium 2013.</i>, 2014.
<b><a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="author">Reinhard Kahle</a></b>, <u>Classifying proofs</u>, Bulletin of Symbolic Logic, Vol. 20, No. 2, Pag. 214, <i>Abstract of an invited talks in the Special Session on Logical Analysis of Mathematical Proofs at the Logic Colloquium 2013.</i>, 2014.
@article {Kah13LC, author = {Reinhard Kahle}, title = {Classifying proofs}, journal = {Bulletin of Symbolic Logic}, volume = {20}, number = {2}, pages = {214}, note = {Abstract of an invited talks in the Special Session on Logical Analysis of Mathematical Proofs at the Logic Colloquium 2013.}, year = {2014}, }
Publication's urls
/publications/view.php?code=b7dd7f34e7473e8b21167b567fb65253
/publications/view.php?code=Kah13LC
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