Constraint solving over multi-valued logics : application to digital circuits /

Bibliographic Details

Main Author:	Azevedo, Francisco
Corporate Author:	NetLibrary, Inc
Format:	eBook
Language:	English
Published:	Amsterdam ; Washington, DC : Tokyo : IOS ; Ohmsha, 2003.
Series:	Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. Frontiers in artificial intelligence and applications ; v.91.
Subjects:	Constraint programming (Computer science) Many-valued logic. Digital electronics. Electronic books.
Online Access:	Connect to the full text of this electronic book