Azevedo, Francisco <br/><br/>
Constraint Solving over Multi-Valued Logics : Application to Digital Circuits 
Azevedo, Francisco 
 -  IOS Press  2002 
 - On-campus e-Book by ebrary under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineering & Technology