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
|
