Jan Platoš: Z-library saytında axtarmaq

Bilik və mədəniyyətə sərbəst giriş.

Don't use scam websites

Kitablar (30)
Ən məşhurları
Siyahı
- Siyahı
- Cədvəl

1

Structural Proof Theory

Structural Proof Theory

Cambridge University Press

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)

İl:

2008

Dil:

english

Fayl:

PDF, 5.15 MB

5.0 / 5.0

english, 2008

2

Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Cambridge University Press

İl:

1998

Dil:

english

Fayl:

PDF, 4.92 MB

0 / 0

english, 1998

3

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Princeton University Press

İl:

2017

Dil:

english

Fayl:

PDF, 2.78 MB

5.0 / 5.0

english, 2017

4

Kurt Gödel: The Princeton Lectures on Intuitionism

Kurt Gödel: The Princeton Lectures on Intuitionism

Maria Hämeen-Anttila (editor), Jan von Plato (editor)

İl:

2021

Dil:

english

Fayl:

PDF, 1.01 MB

0 / 0

english, 2021

5

Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Cambridge University Press

Sara Negri, Jan von Plato

İl:

2011

Dil:

english

Fayl:

PDF, 1.56 MB

0 / 0

english, 2011

6

Intelligent Environmental Data Monitoring for Pollution Management

Intelligent Environmental Data Monitoring for Pollution Management

Siddhartha Bhattacharyya, Naba Kumar Mondal, Jan Platos, Vaclav Snasel, Pavel Kromer

İl:

2020

Dil:

english

Fayl:

PDF, 17.40 MB

0 / 0

english, 2020

7

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

İl:

2022

Dil:

english

Fayl:

PDF, 877 KB

5.0 / 5.0

english, 2022

8

Kurt Gödel

Kurt Gödel

Maria Hämeen-Anttila, Jan von Plato

İl:

2023

Dil:

english

Fayl:

PDF, 4.39 MB

0 / 5.0

english, 2023

9

Structural Proof Theory

Structural Proof Theory

Cambridge University Press

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)

İl:

2008

Dil:

english

Fayl:

PDF, 5.37 MB

5.0 / 0

english, 2008

10

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

İl:

2022

Dil:

english

Fayl:

PDF, 1.47 MB

0 / 5.0

english, 2022

11

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Princeton University Press

İl:

2017

Dil:

english

Fayl:

PDF, 1.58 MB

5.0 / 0

english, 2017

12

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

İl:

2017

Dil:

english

Fayl:

PDF, 1.99 MB

5.0 / 0

english, 2017

13

Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Cambridge University Press

Sara Negri, Jan von Plato

İl:

2011

Dil:

english

Fayl:

PDF, 1.66 MB

0 / 5.0

english, 2011

14

Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness

Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness

İl:

2024

Dil:

english

Fayl:

PDF, 4.13 MB

0 / 5.0

english, 2024

15

Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Cambridge University Press

Sara Negri, Jan von Plato

İl:

2011

Dil:

english

Fayl:

PDF, 972 KB

0 / 0

english, 2011

16

Structural Proof Theory

Structural Proof Theory

Cambridge University Press

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)

İl:

2008

Dil:

english

Fayl:

DJVU, 1.45 MB

0 / 0

english, 2008

17

International Conference on Innovative Computing and Communications: Proceedings of ICICC 2019, Volume 2

International Conference on Innovative Computing and Communications: Proceedings of ICICC 2019, Volume 2

Springer Singapore

Ashish Khanna, Deepak Gupta, Siddhartha Bhattacharyya, Vaclav Snasel, Jan Platos, Aboul Ella Hassanien

İl:

2020

Dil:

english

Fayl:

PDF, 20.32 MB

0 / 0

english, 2020

18

Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Cambridge University Press

İl:

1998

Dil:

english

Fayl:

DJVU, 2.41 MB

0 / 0

english, 1998

19

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Princeton University Press

İl:

2017

Dil:

english

Fayl:

PDF, 1.49 MB

0 / 0

english, 2017

20

Digital Information Processing and Communications: International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I

Digital Information Processing and Communications: International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Danielius Adomaitis, Violeta Bulbenkienė, Sergej Jakovlev, Gintaras Pridotkas (auth.), Vaclav Snasel, Jan Platos, Eyas El-Qawasmeh (eds.)

İl:

2011

Dil:

english

Fayl:

PDF, 13.79 MB

0 / 0

english, 2011

21

Digital Information Processing and Communications: International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I

Digital Information Processing and Communications: International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Danielius Adomaitis, Violeta Bulbenkienė, Sergej Jakovlev, Gintaras Pridotkas (auth.), Vaclav Snasel, Jan Platos, Eyas El-Qawasmeh (eds.)

İl:

2011

Dil:

english

Fayl:

PDF, 18.86 MB

0 / 0

english, 2011

22

Foundations of Computational Intelligence Volume 3: Global Optimization

Foundations of Computational Intelligence Volume 3: Global Optimization

Springer-Verlag Berlin Heidelberg

Václav Snášel, Jan Platoš, Pavel Krömer, Nabil Ouddane (auth.), Ajith Abraham, Aboul-Ella Hassanien, Patrick Siarry, Andries Engelbrecht (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 17.04 MB

0 / 0

english, 2009

23

Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness

Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness

Springer International Publishing;Springer

İl:

2020

Dil:

english

Fayl:

PDF, 1.60 MB

0 / 0

english, 2020

24

Hybrid Machine Intelligence for Medical Image Analysis

Hybrid Machine Intelligence for Medical Image Analysis

Springer Singapore

Siddhartha Bhattacharyya, Debanjan Konar, Jan Platos, Chinmoy Kar, Kalpana Sharma

İl:

2020

Dil:

english

Fayl:

PDF, 14.76 MB

0 / 0

english, 2020

25

Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics

Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics

Springer International Publishing

Jan von Plato (auth.)

İl:

2017

Dil:

english

Fayl:

PDF, 3.44 MB

0 / 0

english, 2017

26

Foundations of Computational Intelligence Volume 3: Global Optimization

Foundations of Computational Intelligence Volume 3: Global Optimization

Springer-Verlag Berlin Heidelberg

Václav Snášel, Jan Platoš, Pavel Krömer, Nabil Ouddane (auth.), Ajith Abraham, Aboul-Ella Hassanien, Patrick Siarry, Andries Engelbrecht (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 10.66 MB

0 / 0

english, 2009

27

Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

İl:

2017

Dil:

english

Fayl:

PDF, 2.11 MB

0 / 0

english, 2017

28

Foundations of Computational Intelligence Volume 3: Global Optimization

Foundations of Computational Intelligence Volume 3: Global Optimization

Springer-Verlag Berlin Heidelberg

Václav Snášel, Jan Platoš, Pavel Krömer, Nabil Ouddane (auth.), Ajith Abraham, Aboul-Ella Hassanien, Patrick Siarry, Andries Engelbrecht (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 18.41 MB

0 / 0

english, 2009

29

Foundations of Computational Intelligence Volume 3: Global Optimization

Foundations of Computational Intelligence Volume 3: Global Optimization

Springer-Verlag Berlin Heidelberg

Václav Snášel, Jan Platoš, Pavel Krömer, Nabil Ouddane (auth.), Ajith Abraham, Aboul-Ella Hassanien, Patrick Siarry, Andries Engelbrecht (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 8.14 MB

0 / 0

english, 2009

30

Digital Information Processing and Communications: International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part II

Digital Information Processing and Communications: International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Jan Kožusznik, Svatopluk à tolfa, David Ježek, à těpán Kuchař (auth.), Vaclav Snasel, Jan Platos, Eyas El-Qawasmeh (eds.)

İl:

2011

Dil:

english

Fayl:

PDF, 17.15 MB

0 / 0

english, 2011