Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "mathematics logic and foundations"
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
Retain my current filters
dewey-ones:"005 - Computer programming, programs & data"
product_txtF_mv:"Springer eBooks 2005-"
Search alternatives
:
"mathematics logic and foundations" »
"mathematical logic and foundations"
Showing
21
-
40
of
56
Search:
'"mathematics logic and foundations"'
,
query time: 0.62s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
21
From Linear Operators to Computational Biology : Essays in Memory of Jacob T. Schwartz
Published 2013
Springer London
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
22
Reasoning Web. Declarative Artificial Intelligence : 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures
Published 2022
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
23
Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Published 2005
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
24
R-Calculus, II: Many-Valued Logics
by
Li, Wei
,
Sui, Yuefei
Published 2022
Springer Nature Singapore
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
25
Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Published 2021
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
26
Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Published 2005
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
27
Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
28
Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
29
Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
30
Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
31
Theory and Applications of Satisfiability Testing – SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
32
R-CALCULUS: A Logic of Belief Revision
by
Li, Wei
,
Sui, Yuefei
Published 2021
Springer Nature Singapore
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
33
R-Calculus, IV: Propositional Logic
by
Li, Wei
,
Sui, Yuefei
Published 2023
Springer Nature Singapore
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
34
R-Calculus, III: Post Three-Valued Logic
by
Li, Wei
,
Sui, Yuefei
Published 2022
Springer Nature Singapore
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
35
Logical Foundations of Cyber-Physical Systems
by
Platzer, André
Published 2018
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
36
Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
37
The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
38
Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
39
Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
40
Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
1
2
3
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Clear Filter
Collection: Springer eBooks 2005-
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
Language
English
55
German
1
Collection
Springer eBooks 2005-
Author
Li, Wei
7
Sui, Yuefei
5
Schlechta, Karl
4
Gabbay, Dov M.
3
Ong, Luke
2
Ait-Ameur, Yamine
1
more ...
Arbab, Farhad
1
Artemov, Sergei
1
Bacchus, Fahiem
1
Baltag, Alexandru
1
Banerjee, Mohua
1
Ben-Ari, Mordechai
1
Bhargava, Bharat K.
1
Biere, Armin
1
Broniek, Przemysław
1
Cantone, Domenico
1
Colombo, Christian
1
Curien, Pierre-Louis
1
Davis, Martin
1
Doberkat, Ernst-Erich
1
Dowek, Gilles
1
Duparc, Jacques
1
Fahrenberg, Uli
1
Gehrke, Mai
1
Gomes, Carla P.
1
Groppe, Sven
1
Grossi, Davide
1
Groza, Adrian
1
Grumberg, Orna
1
Hanus, Michael
1
Hasegawa, Masahito
1
He, Xiangdong
1
Henzinger, Thomas A.
1
Holliday, Wesley H.
1
Hoos, Holger H.
1
Horty, John
1
Huang, Huaxin
1
Inclezan, Daniela
1
Jain, Sarika
1
Jongmans, Sung-Shik
1
Ju, Shier
1
Kaminski, Michael
1
Kanazawa, Makoto
1
Katz, Shmuel
1
Kleine Büning, Hans
1
Kornai, András
1
Kracht, Marcus
1
Kullmann, Oliver
1
Lang, Jerome
1
Marković, Zoran
1
Marques-Silva, Joao
1
Middeldorp, Aart
1
Mitchell, David G.
1
Méry, Dominique
1
Nakajima, Shin
1
Nerode, Anil
1
Ognjanović, Zoran
1
Pace, Gordon J.
1
Pacuit, Eric
1
Platzer, André
1
Raschke, Alexander
1
Rašković, Miodrag
1
Riccobene, Elvinia
1
Roy, Olivier
1
Sakallah, Karem A.
1
Santocanale, Luigi
1
Schewe, Klaus-Dieter
1
Schonberg, Edmond
1
Schöning, Uwe
1
Seki, Hiroyuki
1
Seligman, Jeremy
1
Sreejith, A. V.
1
Sturmfels, Bernd
1
Treinen, Ralf
1
Ursino, Pietro
1
Varzinczak, Ivan
1
Walsh, Toby
1
Wang, Wen-fang
1
Williams, H. Paul
1
Winter, Michael
1
Wintner, Shuly
1
Wolf, Karsten
1
Yamada, Tomoyuki
1
Zhao, Xishun
1
de Vrijer, Roel
1
van Ditmarsch, Hans
1
van Oostrom, Vincent
1
van Raamsdonk, Femke
1
van der Hoek, Wiebe
1
Ésik, Zoltán
1
Šimkus, Mantas
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=2&filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&filter%5B%5D=product_txtF_mv%3A%22Springer+eBooks+2005-%22&lookfor=%22mathematics+logic+and+foundations%22&type=Subject
Send by Email
×
Loading...