| Type |  Book |
| ชื่อเรื่อง | Constraint solving over multi-valued logics [electronic resource] : application to digital circuits / Francisco Azevedo |
| ผู้แต่ง | Azevedo, Francisco |
| ISBN | 058545860X (electronic bk.) |
| พิมพลักษณ์ | Amsterdam ;Washington, DC : IOS ;Tokyo : Ohmsha, 2003 |
| รูปเล่ม | 1 online resource (xviii, 204 p.) : ill |
| หัวเรื่อง | Many-valued logic |
| | Constraint programming (Computer science) |
| | Digital electronics |