Design Patterns für mathematische Beweise
Design Patterns für mathematische Beweise
Norbert Eisinger
,
Hans Jürgen Ohlbach
Details
OL Work ID
OL22105265W
Find this book
Open Library