Benedikt Löwe: ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Logic, Navya-Nyāya & Applications (Homage to Bimal Krishna Matilal)

Logic, Navya-Nyāya & Applications (Homage to Bimal Krishna Matilal)

College Publications

Mihir K. Chakraborty, Benedikt Lowe, Madhabendra Nath Mitra, Sundar Sarukkai (ed.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 28.43 MB

0 / 0

english, 2008

2

New Computational Paradigms: Changing Conceptions of What is Computable

New Computational Paradigms: Changing Conceptions of What is Computable

Springer-Verlag New York

Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 4.91 MB

0 / 0

english, 2008

3

Foundations of the formal sciences 1: the history of the concept of the formal sciences

Foundations of the formal sciences 1: the history of the concept of the formal sciences

Kluwer,College Publications

Löwe, Benedikt, Peckhaus, Volker, Räsch, Thoralf (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 1.70 MB

0 / 0

english, 2002

4

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

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

Amsterdam University Press

Johan van Benthem, Benedikt Lowe, Dov M. Gabbay

წელი:

2008

ენა:

english

ფაილი:

PDF, 3.10 MB

0 / 0

english, 2008

5

Large Cardinals, Determinacy and Other Topics - The Cabal Seminar, Volume IV

Large Cardinals, Determinacy and Other Topics - The Cabal Seminar, Volume IV

Alexander S. Kechris, Benedikt Löwe, John R. Steel (editors)

წელი:

2020

ენა:

english

ფაილი:

PDF, 1.79 MB

0 / 0

english, 2020

6

Ordinal Definability and Recursion Theory - The Cabal Seminar, Volume III

Ordinal Definability and Recursion Theory - The Cabal Seminar, Volume III

Alexander S. Kechris, Benedikt Löwe, John R. Steel (editors)

წელი:

2016

ენა:

english

ფაილი:

PDF, 3.80 MB

0 / 0

english, 2016

7

Logic, Navya-Nyāya, & applications: homage to Bimal Krishna Matilal

Logic, Navya-Nyāya, & applications: homage to Bimal Krishna Matilal

College Publications

Matilal, Bimal Krishna, Löwe, Benedikt, Chakraborty, Mihir, Mitra, Madhabendranath, Matilal, Bimal Krishna, Sarukkai, Sundar et al. (eds.)

წელი:

2008

ენა:

english

ფაილი:

DJVU, 4.10 MB

0 / 0

english, 2008

8

Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I

Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I

Alexander S. Kechris, Benedikt Lowe, John R. Steel

წელი:

2008

ენა:

english

ფაილი:

PDF, 3.77 MB

0 / 0

english, 2008

9

Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Dietmar Berwanger (auth.), Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 2.15 MB

0 / 0

english, 2010

10

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

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

Springer-Verlag Berlin Heidelberg

Erika Ábrahám, Andreas Grüner (auth.), Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 6.03 MB

0 / 0

english, 2006

11

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

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

Amsterdam University Press

Benthem, Johan van, Gabbay, Dov. M., Löwe, Benedikt (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 2.30 MB

0 / 0

english, 2007

12

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

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

Margaret Archibald, Vasco Brattka, Valentin F. Goranko, Benedikt Löwe

წელი:

2009

ენა:

english

ფაილი:

PDF, 1.57 MB

0 / 0

english, 2009

13

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

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

Springer-Verlag Berlin Heidelberg

Daniel Andersson, Kristoffer Arnsfelt Hansen (auth.), Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 8.78 MB

0 / 0

english, 2008

14

Algebra, logic, set theory : Festschrift für Ulrich Felgner zum 65. Geburtstag

Algebra, logic, set theory : Festschrift für Ulrich Felgner zum 65. Geburtstag

College Publications

Löwe, Benedikt (eds.)

წელი:

2007

ენა:

english

ფაილი:

DJVU, 2.45 MB

0 / 0

english, 2007

15

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

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

Benedikt Löwe, Wolfgang Malzkorn, Thoralf Räsch

წელი:

2003

ენა:

english

ფაილი:

DJVU, 2.38 MB

0 / 0

english, 2003

16

Algebra, logic, set theory: Festschrift Ulrich Felgner

Algebra, logic, set theory: Festschrift Ulrich Felgner

College Publications

Löwe, Benedikt (ed.)

წელი:

2007

ენა:

english

ფაილი:

DJVU, 2.45 MB

0 / 0

english, 2007

17

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

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

Springer-Verlag Berlin Heidelberg

S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.)

წელი:

2005

ენა:

english

ფაილი:

DJVU, 5.41 MB

0 / 0

english, 2005

18

Foundations of the Formal Sciences VI: Probabilistic Reasoning and Reasoning with Probabilities

Foundations of the Formal Sciences VI: Probabilistic Reasoning and Reasoning with Probabilities

College Publications

Pacuit, Eric, Romeijn, Jan-Willem, Löwe, Benedikt

წელი:

2009

ენა:

english

ფაილი:

DJVU, 3.52 MB

0 / 0

english, 2009

19

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012 Cambridge, UK, June 18-23, 2012 Proceedings

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012 Cambridge, UK, June 18-23, 2012 Proceedings

Barry S. Cooper, Anuj Dawar, Benedikt Löwe, (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 14.68 MB

0 / 4.0

english, 2012

20

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

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

Springer-Verlag Berlin Heidelberg

Pablo Arrighi, Renan Fargetton, Vincent Nesme (auth.), Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 3.17 MB

0 / 5.0

english, 2011

21

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

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

Springer-Verlag Berlin Heidelberg

S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 9.17 MB

0 / 0

english, 2005

22

Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Dietmar Berwanger (auth.), Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 2.81 MB

0 / 0

english, 2010

23

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

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

Springer-Verlag Berlin Heidelberg

Daniel Andersson, Kristoffer Arnsfelt Hansen (auth.), Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 11.35 MB

0 / 0

english, 2008

24

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

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

Springer-Verlag Berlin Heidelberg

Claudio Zandron (auth.), Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 2.00 MB

0 / 0

english, 2009

25

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

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

Springer-Verlag Berlin Heidelberg

Pablo Arrighi, Renan Fargetton, Vincent Nesme (auth.), Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 4.22 MB

0 / 0

english, 2011

26

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Eric Allender (auth.), Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.94 MB

0 / 0

english, 2010

27

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

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

Springer-Verlag Berlin Heidelberg

Claudio Zandron (auth.), Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 2.07 MB

0 / 0

english, 2009

28

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Eric Allender (auth.), Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 7.34 MB

0 / 0

english, 2010

29

New Computational Paradigms: Changing Conceptions of What is Computable

New Computational Paradigms: Changing Conceptions of What is Computable

S. Barry Cooper, Benedikt Löwe, Andrea Sorbi

წელი:

2008

ენა:

english

ფაილი:

PDF, 4.90 MB

0 / 0

english, 2008

30

Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000

Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000

Benedikt Löwe, Wolfgang Malzkom, Thoralf Räsch (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 20.75 MB

0 / 0

english, 2003

31

New Computational Paradigms: Changing Conceptions of What is Computable

New Computational Paradigms: Changing Conceptions of What is Computable

Springer-Verlag New York

Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 2.59 MB

0 / 0

english, 2008

32

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

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

Birkhäuser Basel

Shier Ju, Benedikt Löwe, Thomas Müller, Yun Xie (eds.)

წელი:

2016

ენა:

english

ფაილი:

PDF, 3.26 MB

0 / 0

english, 2016

33

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III”

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III”

Benedikt Löwe, Boris Piwinger, Thoralf Räsch (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 1.54 MB

0 / 0

english, 2004

34

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

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

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Ulrike Brandt (auth.), Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 5.84 MB

0 / 0

english, 2013

35

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Bahareh Afshari, Michael Rathjen (auth.), S. Barry Cooper, Anuj Dawar, Benedikt Löwe (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 10.97 MB

0 / 0

english, 2012

36

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

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

Springer-Verlag Berlin Heidelberg

Luigi Acerbi, Alberto Dennunzio, Enrico Formenti (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 7.70 MB

0 / 0

english, 2007

37

New Computational Paradigms: Changing Conceptions of What is Computable

New Computational Paradigms: Changing Conceptions of What is Computable

Springer-Verlag New York

Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 7.26 MB

0 / 0

english, 2008

38

New Computational Paradigms: Changing Conceptions of What is Computable

New Computational Paradigms: Changing Conceptions of What is Computable

Springer-Verlag New York

Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 5.04 MB

0 / 0

english, 2008

39

Classical and new paradigms of computation and their complexity hierarchies: papers of the conference "Foundations of the Formal Sciences III

Classical and new paradigms of computation and their complexity hierarchies: papers of the conference "Foundations of the Formal Sciences III

Kluwer Academic publ

Löwe, Benedikt, Piwinger, Boris, Räsch, Thoralf (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 1.49 MB

0 / 0

english, 2004

40

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Bahareh Afshari, Michael Rathjen (auth.), S. Barry Cooper, Anuj Dawar, Benedikt Löwe (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 12.11 MB

0 / 0

english, 2012

41

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

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

Springer-Verlag Berlin Heidelberg

S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 6.61 MB

0 / 0

english, 2005

42

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Eric Allender (auth.), Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.87 MB

0 / 0

english, 2010

43

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 6.42 MB

0 / 0

english, 2009

44

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 6.49 MB

0 / 0

english, 2009

45

New Computational Paradigms: Changing Conceptions of What is Computable

New Computational Paradigms: Changing Conceptions of What is Computable

S.B. Cooper, Benedikt Löwe, Andrea Sorbi

წელი:

2007

ენა:

english

ფაილი:

DJVU, 3.43 MB

0 / 0

english, 2007