Buchportal für Bücher die eine ISBN tragen.

Theoretische Informatik

Hans Jürgen Ohlbach ×Springer Berlin ×

Buchcover Design Patterns für mathematische Beweise

Design Patterns für mathematische Beweise

Ein Leitfaden insbesondere für Informatiker

Hans Jürgen Ohlbach

Springer Berlin