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

Papers in proceedings

  • Jesse Alama and Reinhard Kahle, Computing with Mathematical Arguments, in: Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel, and Gregory Wheeler (eds), New Challenges to Philosophy of Science. Philosophy of Science in a European Perspective, Springer, Pag. 9-22, 2013.
  • Jesse Alama, Escape to Mizar from ATPs, in: Pascal Fontaine, Renate Schmidt and Stephan Schulz and (eds), PAAR 2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, Easychair Proceedings in Computing, Easychair, Vol. 21, Pag. 3-11, (url), 2013.
  • Jesse Alama and and Reinhard Kahle, Computing with mathematical arguments, in: Hanne Andersen, Dennis Dieks, Wenceslao Gonzalez, Thomas Uebel and Gregory Wheeler (eds), New Challenges to Philosophy of Science, The Philosophy of Science in a European Perspective, Springer, Vol. 4, Pag. 9-22, (url), 2013.
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