رکورد قبلیرکورد بعدی

" Handbook of satisfiability / "


Document Type : BL
Record Number : 645708
Doc. No : dltt
Title & Author : Handbook of satisfiability /\ edited by Armin Biere ... [et al.]
Publication Statement : Amsterdam, The Netherlands ;Washington, DC ;: IOS Press,, c2009
Series Statement : Frontiers in artificial intelligence and applications,; v. 185
Page. NO : xiii, 966 p. :: ill. ;; 25 cm
ISBN : 9781586039295
: : 1586039296
Bibliographies/Indexes : Includes bibliographical references and indexes
Subject : Propositional calculus, Congresses
Subject : Decision making, Congresses
Subject : Computer algorithms, Congresses
Subject : Algebra, Boolean, Congresses
Added Entry : Biere, Armin
کپی لینک

پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟