1.- History of the DReaM Group.- 2 Recollections of Hope Park Square, 1970 -- 73.- 3 Adventures in Mathematical Reasoning.- 4 Dynamic Proof Presentation.- 5 Proof Mechanization: From Dream to Reality.- 6 Reasoned Modelling.- 7 Human-Like Computational Reasoning: Diagrams and Other Representations.- 8 From Mathematical Reasoning to Crises in Different Languages.
1.- History of the DReaM Group.- 2 Recollections of Hope Park Square, 1970 -- 73.- 3 Adventures in Mathematical Reasoning.- 4 Dynamic Proof Presentation.- 5 Proof Mechanization: From Dream to Reality.- 6 Reasoned Modelling.- 7 Human-Like Computational Reasoning: Diagrams and Other Representations.- 8 From Mathematical Reasoning to Crises in Different Languages.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309