Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift /
This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come....
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Paule, Peter (Editor) |
Format: | Electronic eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2013.
|
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
Process Algebras for Petri Nets The Alphabetization of Distributed Systems /
by: Gorrieri, Roberto
Published: (2017) -
Introduction to Concurrency Theory Transition Systems and CCS /
by: Gorrieri, Roberto, et al.
Published: (2015) -
Petri Net Synthesis
by: Badouel, Eric, et al.
Published: (2015) -
Computing System Reliability Models and Analysis /
by: Xie, Min, et al.
Published: (2004) -
Logic and Integer Programming
by: Williams, H. Paul
Published: (2009)