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
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/25506 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Markov Decision Processes with Their Applications
بواسطة: Hu, Qiying, وآخرون
منشور في: (2017) -
Statistical Decision Theory
بواسطة: Liese, F., وآخرون
منشور في: (2017) -
Nonbayesian Decision Theory
بواسطة: Peterson, Martin
منشور في: (2017) -
Stochastic Global Optimization
بواسطة: Zhigljavsky, Anatoly, وآخرون
منشور في: (2017) -
Chance
بواسطة: Joaquim P. Marques de Sá.
منشور في: (2017)