Azevedo, Francisco <br/><br/>
Constraint solving over multi - valued logics  application to digital circuits 
Francisco Azevedo. 
 - Amsterdam  IOS Press  2002 
 - xviii, 204p.; 24cm..-(Frontiers in artificial intelligence and applications; vol.91). 
 - (Frontiers in artificial intelligence and applications; 91). .
<br/><br/><label>ISBN: </label>1586033042 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer mathematics; Computer engineering.
<br/><br/><label>Dewey Class. No.: </label>006.3  / A99C