Publication
Detail
Publication date: 01/01/2003Constraint Solving over Multi-valued Logics – Application to Digital Circuits
| Publisher | IOS PRESS |
|---|---|
| Series | Frontiers of Artificial Intelligence and Applications |
| Volume | 91 |
| Edition | 1st |
| Publisher | IOS PRESS |
| Series | Frontiers of Artificial Intelligence and Applications |
| Volume | 91 |
| Edition | 1st |