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
Azev03a
-
Written book
Francisco Azevedo
91
Frontiers of Artificial Intelligence and Applications
IOS Press
-
-
-
-
-
Export formats
Francisco Azevedo, Constraint Solving over Multi-valued Logics - Application to Digital Circuits, Vol. 91 of Frontiers of Artificial Intelligence and Applications, IOS Press, 2003.
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=f260a0cb31e0c92628691f7473b16e98_amp_cscd=7e61849fd07a8e336fac9dc19843a50c" class="author">Francisco Azevedo</a></b>, <u>Constraint Solving over Multi-valued Logics - Application to Digital Circuits</u>, Vol. 91 of Frontiers of Artificial Intelligence and Applications, <a href="http://www.iospress.nl/" title="Link to external entity..." target="_blank" class="publisher">IOS Press</a>, 2003.
@book {Azev03a, author = {Francisco Azevedo}, title = {Constraint Solving over Multi-valued Logics - Application to Digital Circuits}, series = {Frontiers of Artificial Intelligence and Applications}, publisher = {IOS Press}, volume = {91}, year = {2003}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=f0a7bb702dad94b6f0146ecd07f88730
http://centria.di.fct.unl.pt/publications/view.php?code=Azev03a
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