Decision Procedures

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order the...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Kroening, Daniel, Strichman, Ofer
التنسيق: كتاب
اللغة:English
منشور في: Springer 2017
الموضوعات:
519
الوصول للمادة أونلاين:http://repository.vnu.edu.vn/handle/VNU_123/25506
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

مواد مشابهة