Поиск книг, учебников, пособий в онлайн-магазинах
Satisfiability Modulo Theories
Автор: Jesse Russell,Ronald Cohn, ISBN: 978-5-5124-6520-2High Quality Content by WIKIPEDIA articles! In computer science, the Satisfiability Modulo Theories (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first-order logic...
| В наличии: | ||||
 |
Books.Ru - 1001 руб. |
Перейти 
|
||
Рейтинг книги: 
4 из 5, 1 голос(-ов).
4 из 5, 1 голос(-ов).
Популярные книги по минимальной цене:
 60 руб.
|
 37 руб.
|
 100 руб.
|
 89 руб.
|