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

  • Francisco Azevedo, Constraint Solving over Multi-valued Logics - Application to Digital Circuits, Pedro Barahona (superv.), Universidade Nova de Lisboa, May 2002.
CENTRIA member

Francisco Azevedo
Associated member

Francisco Azevedo

School: FCT/UNL
Country: Portugal
email: fmaa@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