| Shelfclass_id | 6.C |
| Sortkey | AZEVEDO, FRANCISCO |
| Authors | Francisco Azevedo |
| Title | Constraint Solving Over Multi-Valued Logics: Application to Digital Circuits |
| Publisher | Ohmsha, Ltd. |
| Year | c2003 |
| Languages | eng |
| Isbn | 1586033042, 4274905551 |
| Series | Frontiers in artificial intelligence and applications |
| Volume | 91 |
| Description | (IOS Press) (Ohmsha) xviii, 204 p. ill. 24 cm |
| Record date | 20060906 |
| Location | Tokyo |
| Keywords | Integrated circuits |