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
Automated and human proofs in general mathematics: An initial comparison
2012
alama-automated-and-human
-
In proceedings
Jesse Alama, Daniel Kühlwein, Josef Urban
Nikolaj Bjørner, Andrei Voronkov
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2012)
Lecture Notes in Computer Science
Springer
-
7180
37-45
-
-
-
-
Export formats
Jesse Alama and Daniel Kühlwein and Josef Urban, Automated and human proofs in general mathematics: An initial comparison, in: Nikolaj Bjørner and Andrei Voronkov (eds), Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2012), Lecture Notes in Computer Science, Springer, Vol. 7180, Pag. 37-45, 2012.
<a href="/people/members/view.php?code=d18f2a73808637adda0742073904f056" class="author">Jesse Alama</a>, Daniel Kühlwein and Josef Urban, <b>Automated and human proofs in general mathematics: An initial comparison</b>, in: Nikolaj Bjørner and Andrei Voronkov (eds), <u>Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2012)</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 7180, Pag. 37-45, 2012.
@inproceedings {alama-automated-and-human, author = {Jesse Alama and Daniel K{\"u}hlwein and Josef Urban}, editor = {Nikolaj Bjørner and Andrei Voronkov}, title = {Automated and human proofs in general mathematics: An initial comparison}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2012)}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {7180}, pages = {37-45}, year = {2012}, }
Publication's urls
/publications/view.php?code=adda7057f4e929bb20672b9cb6fa7ee1
/publications/view.php?code=alama-automated-and-human
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