Mathematical Reasoning: The History and Impact of the DReaM Group

Mathematical Reasoning: The History and Impact of the DReaM Group

Michaelson, Gregory

Springer Nature Switzerland AG

11/2022

162

Mole

Inglês

9783030778811

15 a 20 dias

290

Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Automated Reasoning;Proof planning;Artificial Intelligence;Rippling;Computational Creativity;Reasoned Modelling;Symbolic reasoning;Inference;Proof mechanization