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