Dale (INRIA Saclay-Ile-de-France) Miller
Avg. rating:
0
Користувачів прочитали книги автора
0
Користувачів планують прочитати книги автора
0
Оцінок на книгах
0
Відгуків написано для книг
Користувачів прочитали книги автора
0
Користувачів планують прочитати книги автора
0
Оцінок на книгах
0
Відгуків написано для книг
0
Спочатку популярні
Книга «Proof Theory and Logic Programming» за авторством Дейла Міллера (Dale Miller) — це глибоке наукове дослідження, що поєднує фундаментальні аспекти теорії доказів з практичними питаннями логічного програмування. Видання, представлене видавництвом Cam...
Середня: 0.00
Категорії