Mathematics, Computer Science and Logic - A Never Ending Story
-15%
portes grátis
Mathematics, Computer Science and Logic - A Never Ending Story
The Bruno Buchberger Festschrift
Paule, Peter
Springer International Publishing AG
08/2016
113
Mole
Inglês
9783319346823
15 a 20 dias
454
Descrição não disponível.
Preface.- Henk Barendregt: Foundations of Mathematics from the Perspective of Computer Verification.- Manfred Broy: On the Role of Logic and Algebra in Software Engineering.- Stephen Wolfram: New Directions in the Foundations of Mathematics (2002).- Doron Zeilberger: Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics.?
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
computer mathematics;computer-assisted proofs;logic;mathematical foundations;philosophy of mathematics
Preface.- Henk Barendregt: Foundations of Mathematics from the Perspective of Computer Verification.- Manfred Broy: On the Role of Logic and Algebra in Software Engineering.- Stephen Wolfram: New Directions in the Foundations of Mathematics (2002).- Doron Zeilberger: Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics.?
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
