Чін-Лян Чанг
Очистити все
Алгоритми і структури даних
1 товар
Паперова книга «Symbolic Logic and Mechanical Theorem Proving», авторів Чін-Лян Чанг, Річард Чар-Тунг Лі – фото №1
0
0
Symbolic Logic and Mechanical Theorem Proving
Чін-Лян Чанг Чін-Лян Чанг, Річард Чар-Тунг Лі
Немає в наявності