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

Ph. D. dissertations

  • Jesse Alama, Formal Proofs and Refutations, Grigori Mints (superv.), Stanford University, June 2009.
CENTRIA member

Jesse Alama
Associated member

Jesse Alama

School: UNL
Country: Portugal
email: j.alama@fct.unl.pt

Personal web page
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