Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

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="http://centria.di.fct.unl.pt/people/members/view.php?code=d18f2a73808637adda0742073904f056_amp_cscd=fd35bba7284cdb9cac9d1a6b16e390e1" 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
http://centria.di.fct.unl.pt/publications/view.php?code=149fde08cf7eb3817d845be2ef10daa4
http://centria.di.fct.unl.pt/publications/view.php?code=alama-dissertation
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

POS_Conhecimento