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

Journal articles

  • Jesse Alama, Eliciting implicit assumptions of Mizar proofs by property omission, Journal of Automated Reasoning, Springer, (url), 2012.
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