Benedikt Lowe – författare
Visar alla böcker från författaren Benedikt Lowe. Handla med fri frakt och snabb leverans.
17 produkter
New Computational Paradigms
Changing Conceptions of What is Computable
Av Andrea Sorbi, Benedikt Lowe m. fl.
E-bok, 2007
2111 kr
Lägg i varukorg
In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most significant work in constructive …
Classical and New Paradigms of Computation and their Complexity Hierarchies
Papers of the conference "Foundations of the Formal Sciences III"
Av Thoralf Rasch, Boris Piwinger m. fl.
E-bok, 2007
2925 kr
Lägg i varukorg
The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational …
Foundations of the Formal Sciences VII. Bringing Together Philosophy and Sociology of Science
Av Karen Francois, Benedikt Lowe m. fl.
Häftad, 2011
272 kr
Lägg i varukorg
Foundations of the Formal Sciences. the History of the Concept of the Formal Sciences
Av Benedikt Lowe, Volker Peckhaus m. fl.
Häftad, 2006
279 kr
Lägg i varukorg
Cultures of Mathematics and Logic
Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
Av Yun Xie, Thomas Muller m. fl.
E-bok, 2016
1427 kr
Lägg i varukorg
This bookgathers the proceedings of the conference "Cultures of Mathematics andLogic," held in Guangzhou, China. The event was the third in a series ofinterdisciplinary, international conferences emphasizing the culturalcomponents of philosophy of mathematics and logic. It brought …
New Computational Paradigms
First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
Av Benedikt Lowe, Barry S. Cooper
E-bok, 2005
1459 kr
Lägg i varukorg
Logical Approaches to Computational Barriers
Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Av John V. Tucker, Benedikt Lowe m. fl.
E-bok, 2006
1459 kr
Lägg i varukorg
CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the …
Logic and Theory of Algorithms
4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings
Av Benedikt Lowe, Costas Dimitracopoulos m. fl.
E-bok, 2008
1416 kr
Lägg i varukorg
CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15–20, 2008 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the network is to advance our …
Computation and Logic in the Real World
Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
Av Andrea Sorbi, Benedikt Lowe m. fl.
E-bok, 2007
1459 kr
Lägg i varukorg
Mathematical Theory and Computational Practice
5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings
Av Wolfgang Merkle, Benedikt Lowe m. fl.
E-bok, 2009
734 kr
Lägg i varukorg
Infinity in Logic and Computation
International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Av Benedikt Lowe, Valentin F. Goranko m. fl.
E-bok, 2009
739 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic and Computation, ILC 2007, held in Cape Town, South Africa, in November 2007. The 7 revised papers …
Programs, Proofs, Processes
6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings
Av Luis Mendes Gomes, Elvira Mayordomo m. fl.
E-bok, 2010
732 kr
Lägg i varukorg
Logic and the Foundations of Game and Decision Theory - LOFT 8
8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
Av Wiebe van der Hoek, Benedikt Lowe m. fl.
E-bok, 2010
734 kr
Lägg i varukorg
Models of Computation in Context
7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
Av Alexandra Soskova, Ivan Soskov m. fl.
E-bok, 2011
718 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate of under 40%.The …
How the World Computes
Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings
Av Benedikt Lowe, Anuj Dawar m. fl.
E-bok, 2012
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an …
Nature of Computation: Logic, Algorithms, Applications
9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Av Benedikt Lowe, Vasco Brattka m. fl.
E-bok, 2013
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. …
Foundations of the Formal Sciences II
Applications of Mathematical Logic in Philosophy and Linguistics
Av Thoralf Rasch, Wolfgang Malzkorn m. fl.
E-bok, 2013
1459 kr
Lägg i varukorg
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second …
