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
Constraint Solving over Multi-valued Logics - Application to Digital Circuits
May 2002
azevedo:thesis
-
Ph. D. dissertation
Francisco Azevedo
Pedro Barahona
Universidade Nova de Lisboa
-
-
Export formats
Francisco Azevedo, Constraint Solving over Multi-valued Logics - Application to Digital Circuits, Pedro Barahona (superv.), Universidade Nova de Lisboa, May 2002.
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=f260a0cb31e0c92628691f7473b16e98_amp_cscd=8514483b5fcf04ab13afc628d9b2474c" class="author">Francisco Azevedo</a></b>, <u>Constraint Solving over Multi-valued Logics - Application to Digital Circuits</u>, <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=7e27bc13fad97e99cd21ea6914d55659_amp_cscd=8514483b5fcf04ab13afc628d9b2474c" class="supervisor">Pedro Barahona</a> (superv.), Universidade Nova de Lisboa, May 2002.
@phdthesis {azevedo:thesis, author = {Francisco Azevedo}, title = {Constraint Solving over Multi-valued Logics - Application to Digital Circuits}, school = {Universidade Nova de Lisboa}, note = {Pedro Barahona (superv.); }, month = {May}, year = {2002}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=a98a31a1888ec04cc8818eb686c5e08c
http://centria.di.fct.unl.pt/publications/view.php?code=azevedo:thesis
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