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

SUBJECT

  1. Constraint programming (Computer science)
  2. Many-valued logic
  3. Digital electronics
  4. Electronic books.