Constraint solving over multi - valued logics application to digital circuits

Azevedo, Francisco

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). .

1586033042


Computer mathematics; Computer engineering.

006.3 / A99C
HMS Central Library, Jamia Hamdard, Hamdard Nagar, New Delhi -110062, INDIA