Constraint Solving over Multi-Valued Logics: Application to Digital Circuits (Frontiers in Artificial Intelligence and Applications)
Full Title: | Constraint Solving over Multi-Valued Logics: Application to Digital Circuits (Frontiers in Artificial Intelligence and Applications) |
---|---|
ISBN: | 1586033042 |
ISBN13: | 9781586033040 |
List Price: | USD $80.00 |
Authors: |
Azevedo, Francisco |