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
Formal Proofs and Refutations
June 2009
alama-dissertation
-
Ph. D. dissertation
Jesse Alama
Grigori Mints
Stanford University
-
-
Export formats
Jesse Alama, Formal Proofs and Refutations, Grigori Mints (superv.), Stanford University, June 2009.
<b><a href="/people/members/view.php?code=d18f2a73808637adda0742073904f056" class="author">Jesse Alama</a></b>, <u>Formal Proofs and Refutations</u>, Grigori Mints (superv.), Stanford University, June 2009.
@phdthesis {alama-dissertation, author = {Jesse Alama}, title = {Formal Proofs and Refutations}, school = {Stanford University}, note = {Grigori Mints (superv.); }, month = {June}, year = {2009}, }
Publication's urls
/publications/view.php?code=149fde08cf7eb3817d845be2ef10daa4
/publications/view.php?code=alama-dissertation
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