Книги автора «Dirk Siefkes»

На данной странице предаставлены все книги автора «Dirk Siefkes»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Dirk Siefkes»

Книги

GI-4.Jahrestagung. Berlin, 9.-12. Oktober 1974

GI-4.Jahrestagung. Berlin, 9.-12. Oktober 1974 (Dirk Siefkes)

Formalisieren und Beweisen. Logik fur Informatiker

Formalisieren und Beweisen. Logik fur Informatiker (Dirk Siefkes)