Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Author
Baaz, Matthias
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Showing
1
-
6
of
6
Search:
'Baaz, Matthias'
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...
by
Baaz
,
Matthias
Published 2003
Springer Berlin Heidelberg
Read Now
2
Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings
by
Baaz
,
Matthias
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
3
Methods of Cut-Elimination
by
Baaz
,
Matthias
,
Leitsch, Alexander
Published 2011
Springer Netherlands
Read Now
4
Kurt Gödel and the foundations of mathematics : horizons of truth
Published 2011
Cambridge University Press
Other Authors:
“
...
Baaz
,
Matthias
...
”
Call Number:
QA9.65
Read Now
5
Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Published 2002
Springer Berlin Heidelberg
Other Authors:
“
...
Baaz
,
Matthias
...
”
Read Now
6
Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...
Published 2003
Springer Berlin Heidelberg
Other Authors:
“
...
Baaz
,
Matthias
...
”
Related Subjects
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer Science
Computer science
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Computer Science, general
Logic, Symbolic and mathematical
Mathematical Logic and Foundations
Software Engineering
Software engineering
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Author/Home?author=%22Baaz%2C+Matthias%22&type=Author
Send by Email
×
Loading...