Recent progress in the Boolean domain /

محفوظ في:

التفاصيل البيبلوغرافية
مؤلفون آخرون:	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)

مواد مشابهة