صورة الغلاف: Logic Programming and Automated Reasoning 1st edition 9783540664925

Logic Programming and Automated Reasoning

6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

1st الإصدار

  • المؤلف (المؤلفون) Andrei Voronkov; Harald Ganzinger; David A. McAllester
  • الناشر نشر بواسطة Springer حقوق الطبع والنشر © 1999
  • "ISBN-13 9783540664925"
  • شكل التنسيق المحدد

الكتاب الالكتروني

ترخيص eTextbook
‌
﷼‎71.24 SAR
‌
‌

  • أدوات الدراسة

    أضف أدوات دراسة مثل التمييزات وغيرها

  • القراءة بصوت مسموع

    استمع وانصت أثناء قراءة Bookshelf لك

  • الوصول دون اتصال بالإنترنت

    قم بالوصول إلى الكتاب الدراسي الإلكتروني الخاص بك في أي وقت وأي مكان.

  • بحث عام

    ابحث في محتوى الكتاب والرسومات التوضيحية وكراس التمارين.

أعرف المزيد

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings 1st الإصدار تمت الكتابة بواسطة Andrei Voronkov; Harald Ganzinger; David A. McAllester وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic Programming and Automated Reasoning هي 9783540482420, 3540482423 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540664925, 3540664920. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

العودة إلى الأعلى