Thesis: Constraint solving over multi-valued logics - application to digital circuits

The Digital Librarian's Digital Library

DOCIS Documents in Computing and Information Science

Home >> Journals and Conference Proceedings >> AI Communications

Thesis: Constraint solving over multi-valued logics - application to digital circuits

Francisco Azevedo

Journal Title: AI Communications

Date: 2003

Volume: 16

Issue: 2

p. 125 - 127

For further information about this item go to:

http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=16&issue=2&spage=125

This data comes from DBLP

This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12