Constraint solving over multi-valued logics
Subtitle: application to digital circuits
By: Francisco Azevedo.
Series: Frontiers in artificial intelligence and applications ;; v. 91
Publisher: IOS Press; Ohmsha
Published: 2003
Place of publication: Amsterdam; Washington, DC; Tokyo
Language: eng
Number of pages: 204
Subjects: Integrated circuits -- Mathematical models.
Notes: Includes bibliographical references.