Produktbild: Mathematics, Computer Science and Logic - A Never Ending Story

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.2016

Abbildungen

VII, 35 illus., schwarz-weiss Illustrationen

Herausgeber

Peter Paule

Verlag

Springer

Seitenzahl

113

Maße (L/B)

23,5/15,5 cm

Gewicht

201 g

Auflage

Softcover reprint of the original 1st ed. 2013

Sprache

Englisch

ISBN

978-3-319-34682-3

Beschreibung

Rezension

From the reviews:

“This book contains the more philosophical papers common in festschriften … . I found this a useful set of papers using the umbrella of the festschrift to talk about what we are building, rather than just adding more bricks.” (J. H. Davenport, Computing Reviews, January, 2014)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.2016

Abbildungen

VII, 35 illus., schwarz-weiss Illustrationen

Herausgeber

Peter Paule

Verlag

Springer

Seitenzahl

113

Maße (L/B)

23,5/15,5 cm

Gewicht

201 g

Auflage

Softcover reprint of the original 1st ed. 2013

Sprache

Englisch

ISBN

978-3-319-34682-3

Herstelleradresse

Springer International Publishing AG
Gewerbestr. 11
6330 Cham
Schweiz
Url: www.springer.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Mathematics, Computer Science and Logic - A Never Ending Story
  • 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.