000			00595nam a2200145Ia 4500
008			241212s9999 xx 000 0 und d
020			_a1586033042
082			_a006.3 _bA99C
100			_aAzevedo, Francisco
245		0	_aConstraint solving over multi - valued logics _bapplication to digital circuits _cFrancisco Azevedo.
260			_aAmsterdam _bIOS Press _c2002
300			_axviii, 204p.; 24cm..-(Frontiers in artificial intelligence and applications; vol.91).
440			_a(Frontiers in artificial intelligence and applications; 91).
650			_aComputer mathematics; Computer engineering.
999			_c45670 _d45670