Constraint Solving over Multi-Valued Logics : Application to Digital Circuits
Francisco Azevedo
Bok Engelsk 20021201
Annen tittel | |
---|---|
Utgitt | Amsterdam, NLD : IOS Press , 20021201
|
Omfang | 1 online resource (223 p.)
|
Opplysninger | Y
|
Emner | |
Dewey | |
ISBN | 0-585-45860-X. - 1-58603-304-2
|