Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
Constraint solving over multi-valued logics - application to digital circuits
Publication date:
2003
Citation:
Azev03b
Abstract:
-
Journal
Authors:
Francisco Azevedo
Journal:
Thesis Abstract in AI Communications
Publisher:
-
Address:
-
Volume:
16
Number:
-
Pages:
125-127
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
Francisco Azevedo, Constraint solving over multi-valued logics - application to digital circuits, Thesis Abstract in AI Communications, Vol. 16, Pag. 125-127, 2003.
HTML:
<b><a href="/people/members/view.php?code=f260a0cb31e0c92628691f7473b16e98" 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.
BibTeX:
@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
Full url:
/publications/view.php?code=306e7419c04df196a903c611457d0c2f
Friendly url:
/publications/view.php?code=Azev03b
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541