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
2003
Azev03b
-
Journal
Francisco Azevedo
Thesis Abstract in AI Communications
-
-
16
-
125-127
-
-
-
-
Export formats
Francisco Azevedo, Constraint solving over multi-valued logics - application to digital circuits, Thesis Abstract in AI Communications, Vol. 16, Pag. 125-127, 2003.
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=f260a0cb31e0c92628691f7473b16e98_amp_cscd=210c97053159b3c5cb56e55af95ffc18" class="author">Francisco Azevedo</a></b>, <u>Constraint solving over multi-valued logics - application to digital circuits</u>, Thesis Abstract in AI Communications, Vol. 16, Pag. 125-127, 2003.
@article {Azev03b, author = {Francisco Azevedo}, title = {Constraint solving over multi-valued logics - application to digital circuits}, journal = {Thesis Abstract in AI Communications}, volume = {16}, pages = {125-127}, year = {2003}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=306e7419c04df196a903c611457d0c2f
http://centria.di.fct.unl.pt/publications/view.php?code=Azev03b
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