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 |