TermsVector search on Z-Library for inﬁnitary

Αναζήτηση λέξεων κλειδιών

Main
Αναζήτηση λέξεων κλειδιών

1

Ernst Zermelo : an approach to his life and work

Ernst Zermelo : an approach to his life and work

Ebbinghaus, Heinz-Dieter, Peckhaus, Volker, Zermelo, Ernst, Zermelo, Ernst

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 3.89 MB

0 / 0

english, 2007

2

Ernst Zermelo: An Approach to His Life and Work

Ernst Zermelo: An Approach to His Life and Work

Heinz-Dieter Ebbinghaus, V. Peckhaus,

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 3.94 MB

0 / 0

english, 2007

3

Ernst Zermelo: An Approach to His Life and Work

Ernst Zermelo: An Approach to His Life and Work

Heinz-Dieter Ebbinghaus, Volker Peckhaus

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 6.45 MB

0 / 0

english, 2007

4

Ernst Zermelo: an approach to his life and work

Ernst Zermelo: an approach to his life and work

Heinz-Dieter Ebbinghaus, Volker Peckhaus

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 5.02 MB

0 / 0

english, 2007

5

Ernst Zermelo: An Approach to His Life and Work

Ernst Zermelo: An Approach to His Life and Work

Springer-Verlag Berlin Heidelberg

Heinz Dieter Ebbinghaus, Volker Peckhaus (auth.)

Έτος:

2015

Γλώσσα:

english

Αρχείο:

PDF, 12.80 MB

0 / 0

english, 2015

6

Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Springer International Publishing

Gilles Dowek (eds.)

Έτος:

2014

Γλώσσα:

english

Αρχείο:

PDF, 9.15 MB

0 / 0

english, 2014

7

Beyond First Order Model Theory

Beyond First Order Model Theory

Chapman and Hall/CRC

Έτος:

2017

Γλώσσα:

english

Αρχείο:

PDF, 2.96 MB

0 / 0

english, 2017

8

Beyond First Order Model Theory

Beyond First Order Model Theory

Chapman and Hall/CRC

Έτος:

2017

Γλώσσα:

english

Αρχείο:

PDF, 4.43 MB

0 / 0

english, 2017

9

Logic, Language, Information, and Computation

Logic, Language, Information, and Computation

Springer Berlin Heidelberg

Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez

Έτος:

2018

Γλώσσα:

english

Αρχείο:

PDF, 6.37 MB

0 / 0

english, 2018

10

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones, Nina Bohr (auth.), Vincent van Oostrom (eds.)

Έτος:

2004

Γλώσσα:

english

Αρχείο:

PDF, 4.30 MB

0 / 0

english, 2004

11

Intelligent Computing Everywhere

Intelligent Computing Everywhere

Alfons Schuster

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 3.03 MB

0 / 0

english, 2007

12

Intelligent Computing Everywhere

Intelligent Computing Everywhere

Springer-Verlag London

Dr. Alfons J. Schuster (auth.), Dr. Alfons J. Schuster (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 4.77 MB

0 / 0

english, 2007

13

Intelligent Computing Everywhere

Intelligent Computing Everywhere

Alfons Schuster

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 5.73 MB

0 / 0

english, 2007

14

Mathematical problems from applied logic I / 2, Logics for the XXIst century

Mathematical problems from applied logic I / 2, Logics for the XXIst century

Gabbay D.M. et al. (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 1.64 MB

0 / 0

english, 2007

15

Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Springer International Publishing

Roland Meyer, André Platzer, Heike Wehrheim (eds.)

Έτος:

2015

Γλώσσα:

english

Αρχείο:

PDF, 5.71 MB

0 / 0

english, 2015

16

Mathematical Problems from Applied Logic II: Logics for the XXIst Century

Mathematical Problems from Applied Logic II: Logics for the XXIst Century

Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 2.00 MB

0 / 0

english, 2007

17

Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Springer-Verlag Berlin Heidelberg

Wojciech Jamroga (auth.), Michael Fisher, Fariba Sadri, Michael Thielscher (eds.)

Έτος:

2009

Γλώσσα:

english

Αρχείο:

PDF, 2.96 MB

0 / 0

english, 2009

18

Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Springer-Verlag Berlin Heidelberg

Wojciech Jamroga (auth.), Michael Fisher, Fariba Sadri, Michael Thielscher (eds.)

Έτος:

2009

Γλώσσα:

english

Αρχείο:

PDF, 2.28 MB

0 / 0

english, 2009

19

Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Springer-Verlag Berlin Heidelberg

Wojciech Jamroga (auth.), Michael Fisher, Fariba Sadri, Michael Thielscher (eds.)

Έτος:

2009

Γλώσσα:

english

Αρχείο:

PDF, 2.22 MB

0 / 0

english, 2009

20

Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

Springer-Verlag Berlin Heidelberg

Łukasz Kaiser (auth.)

Έτος:

2011

Γλώσσα:

english

Αρχείο:

PDF, 1000 KB

0 / 0

english, 2011

21

Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

Springer-Verlag Berlin Heidelberg

Łukasz Kaiser (auth.)

Έτος:

2011

Γλώσσα:

english

Αρχείο:

PDF, 1.86 MB

0 / 0

english, 2011

22

Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

Springer-Verlag Berlin Heidelberg

Łukasz Kaiser (auth.)

Έτος:

2011

Γλώσσα:

english

Αρχείο:

PDF, 1.09 MB

0 / 0

english, 2011

23

Ramsey and the Vienna Circle 08

Ramsey and the Vienna Circle 08

Galavotti Marcia

Γλώσσα:

english

Αρχείο:

PDF, 242 KB

0 / 0

english