Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion ... (Lecture Notes in Computer Science, 13160)
Pedro Lopez-Garcia (editor), John P. Gallagher (editor), Roberto Giacobazzi (editor), 3031314751, 9783031314759
انجام شد
کتاب با موفقیت به سبد دانلود اضافه شد.
برای ثبت نهایی سفارش بر روی دکمهی
مشاهده سبد دانلود کلیک کنید و برای افزودن دیگر کتاب ها به سبد دانلود خود، بر روی دکمهی
ادامه کلیک کنید.