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
Eliciting implicit assumptions of Mizar proofs by property omission
2012
alama-eliciting
-
Journal
Jesse Alama
Journal of Automated Reasoning
Springer
-
-
-
-
-
-
-
http://dx.doi.org/10.1007/s10817-012-9264-3
Export formats
Jesse Alama, Eliciting implicit assumptions of Mizar proofs by property omission, Journal of Automated Reasoning, Springer, (http://dx.doi.org/10.1007/s10817-012-9264-3), 2012.
<b><a href="/people/members/view.php?code=d18f2a73808637adda0742073904f056" class="author">Jesse Alama</a></b>, <u>Eliciting implicit assumptions of Mizar proofs by property omission</u>, Journal of Automated Reasoning, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, (<a href="http://dx.doi.org/10.1007/s10817-012-9264-3" target="_blank">url</a>), 2012.
@article {alama-eliciting, author = {Jesse Alama}, title = {Eliciting implicit assumptions of Mizar proofs by property omission}, journal = {Journal of Automated Reasoning}, publisher = {Springer}, url = {http://dx.doi.org/10.1007/s10817-012-9264-3}, year = {2012}, }
Publication's urls
/publications/view.php?code=6bc082b4df5516ba01fc5877a3d7dbd3
/publications/view.php?code=alama-eliciting
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