| Author | Azevedo, Francisco |
|---|---|
| Title | Constraint solving over multi-valued logics [electronic resource] : application to digital circuits / Francisco Azevedo |
| Imprint | Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, 2003 |
| Connect to | http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=87528 |
| Descript | xviii, 204 p. : ill |