Benedikt Löwe – författare
Visar alla böcker från författaren Benedikt Löwe. Handla med fri frakt och snabb leverans.
28 produkter
New Computational Paradigms
Changing Conceptions of What is Computable
Av S.B. Cooper, Benedikt Löwe m. fl.
Inbunden, 2007
1636 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 …
Foundations of the Formal Sciences II
Applications of Mathematical Logic in Philosophy and Linguistics
Av Benedikt Löwe, Wolfgang Malzkorn m. fl.
Inbunden, 2003
1096 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 …
Classical and New Paradigms of Computation and their Complexity Hierarchies
Papers of the conference "Foundations of the Formal Sciences III"
Av Benedikt Löwe, Boris Piwinger m. fl.
Inbunden, 2005
2185 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 …
New Computational Paradigms
Changing Conceptions of What is Computable
Av S.B. Cooper, Benedikt Löwe m. fl.
Häftad, 2010
1641 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 …
Acts of the Progamme Sematics and Syntax
Av Arnold Beckmann, Benedikt Loewe
Häftad, 2013
243 kr
Lägg i varukorg
Infinity, Computability and Metamathematics
Av Stefan Geschke, Benedikt Loewe m. fl.
Inbunden, 2014
332 kr
Lägg i varukorg
Algebra, Logic, Set Theory
Festscrift Fur Ulrich Felgner Zum 65. Geburtstag
Inbunden, 2007
440 kr
Lägg i varukorg
Logic, Navya-Nyaya and Its Applications
Homge to Bimal Krishna Chakraborty
Av Mihir K. Chakraborty, Benedikt Loewe m. fl.
Häftad, 2008
279 kr
Lägg i varukorg
PhiMSAMP
Philosophy of Mathematics. Sociological Aspects and Mathematical Practice
Av Benedikt Loewe, Thomas Mueller
Häftad, 2010
293 kr
Lägg i varukorg
Cultures of Mathematics and Logic
Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
Av Shier Ju, Benedikt Löwe m. fl.
Inbunden, 2016
1096 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 …
Cultures of Mathematics and Logic
Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
Av Shier Ju, Benedikt Löwe m. fl.
Häftad, 2018
1096 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 Barry S. Cooper, Benedikt Löwe
Häftad, 2005
1129 kr
Lägg i varukorg
CiE 2005: New Computational Paradigms http://www. illc. uva. nl/CiE/ ThecooperationComputabilityinEurope (CiE)isaninformalEuropeannetwork covering computability in theoretical computer science and mathematical logic, ranging from application of novel approaches to computation to set-theoretic …
Logical Approaches to Computational Barriers
Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Av Arnold Beckmann, Ulrich Berger m. fl.
Häftad, 2006
1129 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 Arnold Beckmann, Costas Dimitracopoulos m. fl.
Häftad, 2008
1096 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 Barry S. Cooper, Benedikt Löwe m. fl.
Häftad, 2007
1129 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.
Mathematical Theory and Computational Practice
5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings
Av Klaus Ambos-Spies, Benedikt Löwe m. fl.
Häftad, 2009
568 kr
Lägg i varukorg
CiE 2009: Mathematical Theory and Computational Practice Heidelberg, Germany, July 19-24, 2009 After several years of research activity, the informal cooperation "C- putability in Europe" decided to take a more formal status at their meeting in Athens in June 2008: the Association for Computability …
Infinity in Logic and Computation
International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Av Margaret Archibald, Vasco Brattka m. fl.
Häftad, 2009
568 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 Fernando Ferreira, Benedikt Löwe m. fl.
Häftad, 2010
568 kr
Lägg i varukorg
CiE 2010: Programs, Proofs, Processes Ponta Delgada, Azores, Portugal, June 30-July 4 2010 The last few years, starting in 2005 with out inaugural conference in Amst- dam, have seen a development from an informal cooperation via an increasingly established conference series to an association, …
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 Giacomo Bonanno, Benedikt Löwe m. fl.
Häftad, 2010
568 kr
Lägg i varukorg
This volume is conceived as a rami?cation of the eighth conference on Logic and the Foundations of the Theory of Games and Decisions (LOFT8), which took placein Amsterdam,inJuly2008.Inall,61papersweresubmitted to thisevent, of which 48 were presented. This volume is based on a selection of the …
Models of Computation in Context
7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
Av Benedikt Löwe, Dag Normann m. fl.
Häftad, 2011
552 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 Barry S. Cooper, Anuj Dawar m. fl.
Häftad, 2012
552 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 Paola Bonizzoni, Vasco Brattka m. fl.
Häftad, 2013
552 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 2tutorials 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 Benedikt Löwe, Wolfgang Malzkorn m. fl.
Häftad, 2010
1096 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 …
Classical and New Paradigms of Computation and their Complexity Hierarchies
Papers of the conference "Foundations of the Formal Sciences III"
Av Benedikt Löwe, Boris Piwinger m. fl.
Häftad, 2010
2185 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 …
