Hans Jürgen Ohlbach

Hans Jürgen Ohlbach

2 books in the database

Books

Logic, Language and ReasoningHans Jürgen Ohlbach

Logic, Language and Reasoning

Hans Jürgen Ohlbach · 1999

Design Patterns für mathematische BeweiseHans Jürgen Ohlbach

Design Patterns für mathematische Beweise

Hans Jürgen Ohlbach · 2017