Mathematical Reasoning: The History and Impact of the DReaM Group

Häftad, Engelska, 2022

1 727 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable interest from researchers and practitioners of Automated Reasoning, including postgraduates.

Produktinformation

Utgivningsdatum:2022-11-22
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Antal sidor:162
Förlag:Springer Nature Switzerland AG
ISBN:9783030778811

Utforska kategorier

Mer om författaren

Greg Michaelson is Emeritus Professor of Computer Science at Heriot Watt University in Edinburgh. With research focused on properties of programming languages and programs, and how people learn programming, he has enjoyed long standing collaborations with DReaM Group colleagues.

Innehållsförteckning

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.