Books details

Constraint Solving over Multi-valued Logics - Application to Digital Circuits

Jan 2003

Publisher: IOS PRESS

Authors: Francisco Azevedo

Editors:

Edition: 1st

Series: Frontiers of Artificial Intelligence and Applications

Volume: 91

Issn:

ISBN:

Url:

Notes:

Bibtex Key:

DOI:

Publication Date: 1 Jan 2003

Publication File: