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:
Online Access:Connect to the full text of this electronic book

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000Ia 4500
001 in00002033232
005 20220105142015.0
006 m d
007 cr cn-
008 030911s2003 ne a sb 000 0 eng d
020 |a 058545860X (electronic bk.) 
035 |a (OCoLC)ocm53011694 
040 |a N$T  |c N$T  |d OCLCQ  |d UtOrBLW 
049 |a IICN 
050 1 4 |a QA76.612  |b .A94 2003eb 
082 0 4 |a 005.116  |2 22 
100 1 |a Azevedo, Francisco.  |0 http://id.loc.gov/authorities/names/no2003072598 
245 1 0 |a Constraint solving over multi-valued logics :  |b application to digital circuits /  |c Francisco Azevedo. 
264 1 |a Amsterdam ;  |a Washington, DC :  |b IOS ;  |a Tokyo :  |b Ohmsha,  |c 2003. 
300 |a xviii, 204 pages :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence 
490 1 |a Frontiers in artificial intelligence and applications,  |v v.91 
504 |a Includes bibliographical references (pages 145-153). 
533 |a Electronic reproduction.  |b Boulder, Colo. :  |c NetLibrary,  |d 2003.  |n Available via World Wide Web.  |n Access may be limited to NetLibrary affiliated libraries. 
500 |a Electronic resource. 
650 0 |a Constraint programming (Computer science)  |0 http://id.loc.gov/authorities/subjects/sh94003833 
650 0 |a Many-valued logic.  |0 http://id.loc.gov/authorities/subjects/sh85080796 
650 0 |a Digital electronics.  |0 http://id.loc.gov/authorities/subjects/sh85037976 
655 7 |a Electronic books.  |2 local 
710 2 |a NetLibrary, Inc.  |0 http://id.loc.gov/authorities/names/no99080690 
776 1 |c Original  |z 1586033042  |z 4274905551  |w (OCoLC)51911916 
830 0 |a Frontiers in artificial intelligence and applications.  |p Dissertations in artificial intelligence.  |0 http://id.loc.gov/authorities/names/no2003047925 
830 0 |a Frontiers in artificial intelligence and applications ;  |v v.91.  |0 http://id.loc.gov/authorities/names/n92019289 
856 4 1 |u https://proxy.library.tamu.edu/login?url=http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=87528  |z Connect to the full text of this electronic book  |t 0 
994 |a 92  |b IIC 
999 |a MARS 
999 f f |s 66bbe363-e056-3a62-b4f8-37d5e1bf8049  |i 83c8c480-c745-3ec2-ae99-56f03625bec2  |t 0 
952 f f |a Texas A&M University  |b College Station  |c Electronic Resources  |d Available Online  |t 0  |e QA76.612 .A94 2003eb  |h Library of Congress classification 
998 f f |a QA76.612 .A94 2003eb  |t 0  |l Available Online