Автор: Christine Paulin Підтримка1 Електронні книги від Christine Paulin Yves Bertot & Gilles Dowek: Theorem Proving in Higher Order Logics … PDF Англійська DRM €57.88 0 0 закінчення роботи 0,00 × × × Змінення мови користувача × АрабськоюНімецькаАнглійськаІспанськаФранцузькийХіндіІндонезійськаІталійськаМалайськаГолландськаПольськаПортугальськаРумунськаросійськийШведськаТайськаТурецькаУкраїнськаВ’єтнамціКитайціInternational Modal ×
