Поиск книг, учебников, пособий в онлайн-магазинах
Automated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc
Автор: L A Wallen, 260 стр., ISBN: 9780262231442Automated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc
| Под заказ: | ||||
 |
OZON.ru - 3037 руб. |
Перейти 
|
||
Рейтинг книги: 
5 из 5, 2 голос(-ов).
5 из 5, 2 голос(-ов).
Популярные книги по минимальной цене:
 50 руб.
|
 465 руб.
|
 581 руб.
|
 681 руб.
|