Proof Theory and Logic Programming
Dale (INRIA Saclay-Ile-de-France) Miller
2025
· 334 pp.
· Англійська
Середня: 0.00
| Автор | Dale (INRIA Saclay-Ile-de-France) Miller |
|---|---|
| Видавництво | Cambridge University Press |
| Перекладачі | |
| Категорії: | Наука, Навчальна і довідкова |
| ISBN | 9781009561297 |
| Рік видання | 2025 |
| Мова | Англійська |
| Кількість сторінок | 334 |
0
Користувачів прочитали
0
Користувачів планують прочитати
0
Оцінок
0
Відгуків написано
Користувачів прочитали
0
Користувачів планують прочитати
0
Оцінок
0
Відгуків написано
0
