Digitale Bibliothek Ostschweiz. Alle Titel zu Eisinger, Norbert

Seitenbereiche:


Filter bearbeiten


Titel 1-1 von 1


Eisinger, Norbert; Ohlbach, Hans Jürgen

Design Patterns für mathematische Beweise

Ein Leitfaden insbesondere für Informatiker

5.0

Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, k ...

Im Bestand seit: 01.11.2017

Voraussichtlich verfügbar ab: 29.12.2024