Automated Reasoning with Analytic Tableaux and Related Methods
Изчерпано количество
Продуктът не е наличен
Запиши се за известие при зареждане
Информация за "Automated Reasoning with Analytic Tableaux and Related Methods"
- SKU 9783319243115
- Weight 0.569000
- ISBN 9783319243115
- Вид корица Paperback
- Издателство Springer International Publishing AG
- Брой страници 355
The information below is required for social login