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

Recent progress in the Boolean domain /

अन्य संस्करण दिखाएं (1)
में बचाया:
अन्य लेखक: Steinbach, Bernd (संपादक)
स्वरूप: इलेक्ट्रोनिक ई-पुस्तक
भाषा:अंग्रेज़ी
प्रकाशित: Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014.
विषय:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
Electronic books.
ऑनलाइन पहुंच:An electronic book accessible through the World Wide Web; click to view
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
वस्तु वर्णन:"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."
भौतिक वर्णन:1 online resource (458 pages) : illustrations
ग्रन्थसूची:Includes bibliographical references and index.
आईएसबीएन:9781443859677 (e-book)

समान संसाधन