" Christian Wenzel" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel

Категория: Компьютеры

5.45 Mb

#2

An Introduction to Kant's Aesthetics: Core Concepts and Problems

Christian Helmut Wenzel, Christian Wenzel

870 Kb