MPG.eBooks - Author Search Results

Cover Image

1

Design Patterns für mathematische Beweise : Ein Leitfaden insbesondere für Informatiker

by Ohlbach, Hans Jürgen, Eisinger, Norbert
Published 2017

Springer Berlin Heidelberg

Cover Image

2

Logic, Language and Reasoning : Essays in Honour of Dov Gabbay

Published 1999

Springer Netherlands

Other Authors: “...Ohlbach, Hans Jürgen...”

Cover Image

3

Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Ohlbach, Hans Jürgen...”