Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
 | paperback Категорія: Прикладна математика Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Звичайна ціна книги: Знижка: -31 % Наша ціна: 56.38 EUR (Ціна оновлена 23.09.2024) Безкоштовна доставка в Україну більше Читацькі коментарі та рецензії: Amazon |