Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

1
by Richter-Gebert, Jürgen, Kortenkamp, Ulrich H.
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...2 Introduction -- 2.1 Sample Applications -- 2.2 Design and Features -- 2.3 Technical Background...”
Cover Image
Read Now

2
by Richter-Gebert, Jürgen, Kortenkamp, Ulrich H.
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...1 Vorwort -- 2 Einleitung -- 2.1 Anwendungsbeispiele -- 2.2 Gedanken zum Programmdesign -- 2.3 Zum...”