Книги автора «Manfred Schmidt-Schauß»

На данной странице предаставлены все книги автора «Manfred Schmidt-Schauß»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Manfred Schmidt-Schauß»

Книги

Computational Aspects of an Order-Sorted Logic with Term Declarations

Computational Aspects of an Order-Sorted Logic with Term Declarations (Manfred Schmidt-Schauß)