Benedikt+Löwe | Booky.fi

Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012

Ju, Shier (ed.); Löwe, Benedikt (ed.); Müller, Thomas (ed.); Xie, Yun (ed.)
Birkhäuser
2016
Kovakantinen kirja

101,40 €

Interactive Logic - Selected Papers from the 7th Augustus de Morgan Workshop, London

Löwe, Benedikt; Gabbay, Dov; Benthem, Johan
Amsterdam University Press
2008
Pehmeäkantinen kirja

86,70 €

Foundations of the Formal Sciences II - Applications of Mathematical Logic in Philosophy and Linguistics

Löwe, Benedikt; Malzkorn, Wolfgang; Räsch, Thoralf
Springer-Verlag New York Inc.
2003
Kovakantinen kirja

101,40 €

Classical and New Paradigms of Computation and their Complexity Hierarchies - Papers of the conference "Foundations of the Forma

Löwe, Benedikt; Piwinger, Boris; Räsch, Thoralf
Springer-Verlag New York Inc.
2005
Kovakantinen kirja

179,00 €

Foundations of the Formal Sciences II - Applications of Mathematical Logic in Philosophy and Linguistics

Löwe, Benedikt; Malzkorn, Wolfgang; Räsch, Thoralf
Springer
2010
Pehmeäkantinen kirja

101,40 €

Classical and New Paradigms of Computation and their Complexity Hierarchies - Papers of the conference "Foundations of the Forma

Löwe, Benedikt; Piwinger, Boris; Räsch, Thoralf
Springer
2010
Pehmeäkantinen kirja

179,00 €

Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011,

Löwe, Benedikt; Normann, Dag; Soskov, Ivan; Soskova, Alexandra
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,40 €

60 Jahre DVMLG

Löwe, Benedikt; Sarikaya, Deniz
College Publications
2022
Pehmeäkantinen kirja

21,70 €

Computation and Logic in the Real World - Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007,

Cooper, Barry S.; Löwe, Benedikt; Sorbi, Andrea
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

101,40 €

New Computational Paradigms - Changing Conceptions of What is Computable

Cooper, S.B.; Löwe, Benedikt; Sorbi, Andrea
Springer-Verlag New York Inc.
2007
Kovakantinen kirja

134,60 €

Logical Approaches to Computational Barriers - Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July

Beckmann, Arnold; Berger, Ulrich; Löwe, Benedikt; Tucker, John V.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

101,40 €

New Computational Paradigms - First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005

Cooper, Barry S.; Löwe, Benedikt
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

101,40 €

Logic and Theory of Algorithms - 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedin

Beckmann, Arnold; Dimitracopoulos, Costas; Löwe, Benedikt
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

101,40 €

Infinity in Logic and Computation - International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Sel

Archibald, Margaret; Brattka, Vasco; Goranko, Valentin F.; Löwe, Benedikt
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

51,40 €

Mathematical Theory and Computational Practice - 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July

Ambos-Spies, Klaus; Löwe, Benedikt; Merkle, Wolfgang
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

51,40 €

Programs, Proofs, Processes - 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - J

Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira; Gomes, Luís Mendes
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,40 €

Logic and the Foundations of Game and Decision Theory - LOFT 8 - 8th International Conference, Amsterdam, The Netherlands, July

Bonanno, Giacomo; Löwe, Benedikt; van der Hoek, Wiebe
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,40 €

New Computational Paradigms - Changing Conceptions of What is Computable

Cooper, S.B.; Löwe, Benedikt; Sorbi, Andrea
Springer-Verlag New York Inc.
2010
Pehmeäkantinen kirja

134,60 €

How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, Jun

Cooper, Barry S.; Dawar, Anuj; Löwe, Benedikt
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,40 €

The Nature of Computation: Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy,

Bonizzoni, Paola; Brattka, Vasco; Löwe, Benedikt
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,40 €