Mathematical Reasoning: The History and Impact of the DReaM Group
portes grátis
Mathematical Reasoning: The History and Impact of the DReaM Group
Michaelson, Gregory
Springer Nature Switzerland AG
11/2021
162
Dura
Inglês
9783030778781
15 a 20 dias
448
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
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.