कवर छवि
क्यूआर कोड

Handbook of satisfiability

में बचाया:
निगमित लेखक: ebrary, Inc
अन्य लेखक: Biere, Armin
स्वरूप: इलेक्ट्रोनिक ई-पुस्तक
भाषा:अंग्रेज़ी
प्रकाशित: Amsterdam, The Netherlands ; Washington, DC : IOS Press, c2009.
श्रृंखला:Frontiers in artificial intelligence and applications ; v. 185.
विषय:
Propositional calculus > Congresses.
Decision making > Congresses.
Computer algorithms > Congresses.
Algebra, Boolean > Congresses.
Electronic books.
ऑनलाइन पहुंच:An electronic book accessible through the World Wide Web; click to view
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

MARC

LEADER 00000nam a2200000Ia 4500
001 0000110607
005 20171002055817.0
006 m u
007 cr cn|||||||||
008 081220s2009 ne a sb 001 0 eng d
020 |z 9781586039295 
020 |z 1586039296 
035 |a (CaPaEBR)ebr10309230 
035 |a (OCoLC)430355954 
040 |a CaPaEBR  |c CaPaEBR 
050 1 4 |a QA9.3  |b .H36 2009eb 
245 0 0 |a Handbook of satisfiability  |h [electronic resource] /  |c edited by Armin Biere ... [et al.]. 
260 |a Amsterdam, The Netherlands ;  |a Washington, DC :  |b IOS Press,  |c c2009. 
300 |a xiii, 966 p. :  |b ill. 
490 1 |a Frontiers in artificial intelligence and applications,  |x 0922-6389 ;  |v v. 185 
504 |a Includes bibliographical references and indexes. 
533 |a Electronic reproduction.  |b Palo Alto, Calif. :  |c ebrary,  |d 2011.  |n Available via World Wide Web.  |n Access may be limited to ebrary affiliated libraries. 
650 0 |a Propositional calculus  |v Congresses. 
650 0 |a Decision making  |v Congresses. 
650 0 |a Computer algorithms  |v Congresses. 
650 0 |a Algebra, Boolean  |v Congresses. 
655 7 |a Electronic books.  |2 local 
700 1 |a Biere, Armin. 
710 2 |a ebrary, Inc. 
830 0 |a Frontiers in artificial intelligence and applications ;  |v v. 185. 
856 4 0 |u http://site.ebrary.com/lib/daystar/Doc?id=10309230  |z An electronic book accessible through the World Wide Web; click to view 
908 |a 170314 
942 0 0 |c EB 
999 |c 99757  |d 99757 

समान संसाधन