Matthias Baaz: Z-Libraryで検索

知識と文化への入り口。誰にでもアクセス可能です。

Don't use scam websites

フィルターを適用する

完全一致

完全一致

本 (20)
一番人気本
リスト
- リスト
- 表

1

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Cambridge University Press

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper

年:

2011

言語:

english

ファイル:

PDF, 3.80 MB

5.0 / 5.0

english, 2011

2

Kurt Goedel and the Foundations of Mathematics Horizons of Truth

Kurt Goedel and the Foundations of Mathematics Horizons of Truth

Cambridge University Press

Baaz, Matthias, Harper, Jr Charles L., Papadimitriou, Christos H., Putnam, Hilary W., Scott, Dana S

年:

2014

言語:

english

ファイル:

PDF, 3.80 MB

5.0 / 0

english, 2014

3

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)

年:

2003

言語:

english

ファイル:

PDF, 6.16 MB

0 / 0

english, 2003

4

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)

年:

2002

言語:

english

ファイル:

PDF, 4.40 MB

0 / 0

english, 2002

5

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)

年:

1996

言語:

english

ファイル:

PDF, 11.88 MB

0 / 0

english, 1996

6

Logic Colloquium ’01: Lecture Notes In Logic, 20

Logic Colloquium ’01: Lecture Notes In Logic, 20

A K Peters/CRC Press

Matthias Baaz, Sy-David Friedman, Jan Krajícek

年:

2005

言語:

english

ファイル:

PDF, 174.16 MB

0 / 0

english, 2005

7

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)

年:

2002

言語:

english

ファイル:

PDF, 2.24 MB

0 / 0

english, 2002

8

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch (auth.), Franz Baader, Andrei Voronkov (eds.)

年:

2005

言語:

english

ファイル:

PDF, 4.55 MB

0 / 0

english, 2005

9

$Kurt G\u00f6del and the Foundations of Mathematics: Horizons of Truth$

Kurt G\u00f6del and the Foundations of Mathematics: Horizons of Truth

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper

言語:

english

ファイル:

PDF, 3.80 MB

5.0 / 0

english

10

Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

A K Peters/CRC Press;A.K.Peters

Matthias Baaz, Sy-David Friedman, Jan Krajícek (eds.)

年:

2005

言語:

english

ファイル:

DJVU, 3.74 MB

0 / 0

english, 2005

11

Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Baaz, Matthias, Friedman, Sy D., Krajíček, Jan (eds.)

年:

2005

言語:

english

ファイル:

DJVU, 3.74 MB

0 / 0

english, 2005

12

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)

年:

1996

言語:

english

ファイル:

DJVU, 4.15 MB

0 / 0

english, 1996

13

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)

年:

2003

言語:

english

ファイル:

PDF, 4.13 MB

0 / 0

english, 2003

14

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Matthias Baaz & Johann A. Makowsky

年:

2008

言語:

spanish

ファイル:

PDF, 5.62 MB

0 / 0

spanish, 2008

15

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Matthias Baaz & Johann A. Makowsky

年:

2008

言語:

spanish

ファイル:

EPUB, 684 KB

0 / 0

spanish, 2008

16

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Matthias Baaz & Johann A. Makowsky

年:

2008

言語:

spanish

ファイル:

AZW3 , 2.03 MB

0 / 0

spanish, 2008

17

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Matthias Baaz & Johann A. Makowsky

年:

2008

言語:

spanish

ファイル:

MOBI , 1.17 MB

0 / 0

spanish, 2008

18

Methods of Cut-elimination

Methods of Cut-elimination

Alexander Leitsch, Matthias Baaz

年:

2011

言語:

english

ファイル:

PDF, 1.35 MB

0 / 0

english, 2011

19

Lectures on Soft Computing and Fuzzy Logic

Lectures on Soft Computing and Fuzzy Logic

Physica-Verlag Heidelberg

Matthias Baaz, Agata Ciabattoni (auth.), Prof. Antonio Di Nola, Prof. Giangiacomo Gerla (eds.)

年:

2001

言語:

english

ファイル:

PDF, 12.58 MB

0 / 0

english, 2001

20

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.)

年:

2002

言語:

english

ファイル:

PDF, 4.79 MB

0 / 0

english, 2002