Constraint solving over multi-valued logics - application to digital circuits
- Författare
- Francisco. Azevedo
- (Francisco Azevedo.)
- Genre
- Electronic books., Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| IOS Press | c2003 | Nederländerna, Amsterdam, Oxford | xviii, 204 sidor. ill. | |
| IOS Press | 2003 | Utgivningsland okänt / Ej specificerat, Amsterdam |