Automated Reasoning With Analytic Tableaux And Related Methods 16th Internationa

‏259.00 ₪
+ ‏122.99 ₪ משלוח

Automated Reasoning With Analytic Tableaux And Related Methods 16th Internationa

נמכר על ידי:
  • product image

‏259.00 ₪

במלאי
+ ‏122.99 ₪ משלוח

מדיניות החזרות ל-14 יום

אמצעי תשלום:

פרטי מוצר

פרטי מוצר

Automated Reasoning With Analytic Tableaux And Related Methods 16th Internationa

This Book Constitutes The Refereed Proceedings Of The 16th International Conference On Automated Reasoning With Analytic Tableaux And Related Methods, Tableaux 2007, Held In Aix En Provence, France. It Covers The Wide Range Of Logics, From Intuitionistic And Substructural Logics To Modal Logics (including Temporal And Dynamic Logics), From Many-valued Logics To Nonmonotonic Logics, And From Classical First-order Logic To Description Logics.
  • מותג: Springer Nature B.V
  • קטגוריה: מחשוב ואינטרנט
  • מספר עמודים: 262
  • שָׂפָה: English
  • מְחַבֵּר: Springer Nature B.V
  • מוציא לאור / תווית: Springer Nature B.V
  • פוּרמָט: Paperback
  • תאריך פרסום: 2007-06-21
  • מזהה Fruugo: 557242629-1125512382
  • ISBN: 9783540730989
משלוח

מְסִירָה

שילוח תוך 24 שעות

  • STANDARD: ‏122.99 ₪ - משלוח בין יום ד׳ 18 נובמבר 2026–יום ג׳ 08 דצמבר 2026

משלוח מ- בריטניה.

החזרות

החזרות

אנו עושים כמיטב יכולתנו להבטיח שהמוצרים שאתם מזמינים יישלחו אליכם במלואם ובהתאם למפרט שלכם. עם זאת, אם תקבלו הזמנה חלקית, או פריטים שונים מאלו שהזמנתם, או שיש סיבה אחרת לכך שאינכם מרוצים מההזמנה, באפשרותכם להחזיר את ההזמנה, או כל אחד מהמוצרים הכלולים בהזמנה, ולקבל החזר מלא עבור הפריטים.

הצג מדיניות ההחזרים המלאה