תמונות העטיפה

Recent progress in the Boolean domain /

שמור ב:
מידע ביבליוגרפי
מחברים אחרים: Steinbach, Bernd (Editor)
פורמט: אלקטרוני ספר אלקטרוני
שפה:אנגלית
יצא לאור: 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.
ISBN:9781443859677 (e-book)

פריטים דומים