Benedikt Löwe – författare
Visar alla böcker från författaren Benedikt Löwe.
28 produkter
New Computational Paradigms
Changing Conceptions of What is Computable
Av S.B. Cooper, Benedikt Löwe m. fl.
Inbunden, 2007
2099 kr
Lägg i varukorg
Foundations of the Formal Sciences II
Applications of Mathematical Logic in Philosophy and Linguistics
Av Benedikt Löwe, Wolfgang Malzkorn m. fl.
Inbunden, 2003
1399 kr
Lägg i varukorg
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
2799 kr
Lägg i varukorg
New Computational Paradigms
Changing Conceptions of What is Computable
Av S.B. Cooper, Benedikt Löwe m. fl.
Häftad, 2010
2099 kr
Lägg i varukorg
Acts of the Progamme Sematics and Syntax
Av Arnold Beckmann, Benedikt Loewe
Häftad, 2013
319 kr
Lägg i varukorg
Infinity, Computability and Metamathematics
Av Stefan Geschke, Benedikt Loewe m. fl.
Inbunden, 2014
429 kr
Lägg i varukorg
Algebra, Logic, Set Theory
Festscrift Fur Ulrich Felgner Zum 65. Geburtstag
Inbunden, 2007
579 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
359 kr
Lägg i varukorg
PhiMSAMP
Philosophy of Mathematics. Sociological Aspects and Mathematical Practice
Av Benedikt Loewe, Thomas Mueller
Häftad, 2010
379 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
1409 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.
Häftad, 2018
1409 kr
Lägg i varukorg
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
1449 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 Arnold Beckmann, Ulrich Berger m. fl.
Häftad, 2006
1449 kr
Lägg i varukorg
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
1409 kr
Lägg i varukorg
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
1449 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 Klaus Ambos-Spies, Benedikt Löwe m. fl.
Häftad, 2009
729 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 Margaret Archibald, Vasco Brattka m. fl.
Häftad, 2009
729 kr
Lägg i varukorg
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
729 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 Giacomo Bonanno, Benedikt Löwe m. fl.
Häftad, 2010
729 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 Benedikt Löwe, Dag Normann m. fl.
Häftad, 2011
709 kr
Lägg i varukorg
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
709 kr
Lägg i varukorg
The 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
709 kr
Lägg i varukorg
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
1409 kr
Lägg i varukorg
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
2809 kr
Lägg i varukorg