Информация об авторе

Kirchner C.


Библиография книг автора

Quaestiones Horatianae  (Latin Edition) Kirchner C.
Quaestiones Horatianae (Latin Edition)
Эта книга — репринт оригинального издания, созданный на основе электронной копии высокого разрешения, которую очистили и обработали вручную, сохранив структуру и орфографию оригинального издания. Редкие, забытые и малоизвестные книги, изданные с петровских времен до наших дней, вновь доступны в виде печатных книг. ...
Нет в наличии
Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings (Lecture Notes in Computer Science, 1421) Bavaria I. Kirchner C. Kirchner H.
Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings (Lecture Notes in Computer Science, 1421)
This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions....
Нет в наличии