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"
Search alternatives
:
"mathematics logic and foundations" »
"mathematical logic and foundations"
Showing
21
-
40
of
101
Search:
'"mathematics logic and foundations"'
,
query time: 0.52s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
21
Runtime Verification : A Hands-On Approach in Java
by
Colombo, Christian
,
Pace, Gordon J.
Published 2022
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
22
Syntax-Directed Semantics : Formal Models Based on Tree Transducers
by
Fülöp, Zoltan
,
Vogler, Heiko
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
23
Präzises Denken für Informatiker
by
Wolf, Karsten
Published 2017
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
24
First-Order Logic and Automated Theorem Proving
by
Fitting, Melvin
Published 1996
Springer New York
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
25
Rewriting Techniques and Applications : Bordeaux, France, May 25-27, 1987. Proceedings
Published 1987
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
26
Modelling Puzzles in First Order Logic
by
Groza, Adrian
Published 2021
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
27
ZB 2002: Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
28
Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
29
A New Perspective on Nonmonotonic Logics
by
Gabbay, Dov M.
,
Schlechta, Karl
Published 2016
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
30
Formal Methods for Nonmonotonic and Related Logics : Vol I: Preference and Size
by
Schlechta, Karl
Published 2018
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
31
Formal Methods for Nonmonotonic and Related Logics : Vol II: Theory Revision, Inheritance, and Various Abstract Properties
by
Schlechta, Karl
Published 2018
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
32
Semantic Intelligence : Select Proceedings of ISIC 2022
Published 2023
Springer Nature Singapore
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
33
From Linear Operators to Computational Biology : Essays in Memory of Jacob T. Schwartz
Published 2013
Springer London
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
34
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
35
First-Order Programming Theories
by
Gergely, Tamas
,
Ury, Laszlo
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
36
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
37
Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
38
Advanced Fuzzy Systems Design and Applications
by
Jin, Yaochu
Published 2003
Physica
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
39
R-CALCULUS: A Logic of Belief Revision
by
Li, Wei
,
Sui, Yuefei
Published 2021
Springer Nature Singapore
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
40
R-Calculus, II: Many-Valued Logics
by
Li, Wei
,
Sui, Yuefei
Published 2022
Springer Nature Singapore
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
1
2
3
4
5
6
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
003 - Systems
3
004 - Data processing & computer science
1
Language
English
94
German
7
Collection
Springer eBooks 2005-
56
Springer Book Archives -2004
45
Author
Li, Wei
7
Sui, Yuefei
5
Schlechta, Karl
4
Dybjer, Peter
3
Gabbay, Dov M.
3
Rozenberg, Grzegorz
3
more ...
Nipkow, Tobias
2
Nordström, Bengt
2
Ong, Luke
2
Salomaa, Arto
2
Smith, Jan
2
Sturmfels, Bernd
2
Aalst, Wil van der
1
Ait-Ameur, Yamine
1
Alblas, Henk
1
Andreasen, Troels
1
Arbab, Farhad
1
Artemov, Sergei
1
Avenhaus, Jürgen
1
Baaz, Matthias
1
Bacchus, Fahiem
1
Baltag, Alexandru
1
Banerjee, Mohua
1
Beckstein, Clemens
1
Ben-Ari, Mordechai
1
Bert, Didier
1
Best, Eike
1
Bhargava, Bharat K.
1
Bibel, Wolfgang
1
Biere, Armin
1
Boldt, Oliver
1
Bowen, Jonathan P.
1
Broniek, Przemysław
1
Böhm, C.
1
Calude, Christian S.
1
Cantone, Domenico
1
Caviness, Bob F.
1
Christiansen, Henning
1
Colombo, Christian
1
Condon, Anne
1
Coquand, Thierry
1
Cornelius, Felix
1
Curien, Pierre-Louis
1
Davis, Martin
1
Diaz, Josep
1
Doberkat, Ernst-Erich
1
Dowek, Gilles
1
Duparc, Jacques
1
Ehrig, Hartmut
1
Fahrenberg, Uli
1
Felscher, Walter
1
Fitting, Melvin
1
Fribourg, Laurent
1
Fülöp, Zoltan
1
Gehrke, Mai
1
George, Roy
1
Gergely, Tamas
1
Gomes, Carla P.
1
Groppe, Sven
1
Grossi, Davide
1
Groza, Adrian
1
Große-Rhode, Martin
1
Grumberg, Orna
1
Grundy, Jim
1
Guoqing Chen
1
Hanus, Michael
1
Harrison, John
1
Hasegawa, Masahito
1
He, Xiangdong
1
Heering, Jan
1
Henson, Martin C.
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
Jin, Yaochu
1
Johnson, Jeremy R.
1
Jongmans, Sung-Shik
1
Jouannaud, Jean-Pierre
1
Ju, Shier
1
Jürgensen, Helmut
1
Kahle, Reinhard
1
Kai-Yuan Cai
1
Kaminski, Michael
1
Kanazawa, Makoto
1
Katz, Shmuel
1
Kleine Büning, Hans
1
Kornai, András
1
Kracht, Marcus
1
Kuich, Werner
1
Kullmann, Oliver
1
Lafontaine, Christine
1
Lang, Jerome
1
Larsen, Henrik Legind
1
Last, M.
1
Lescanne, Pierre
1
Lüneburg, Heinz
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&lookfor=%22mathematics+logic+and+foundations%22&type=Subject
Send by Email
×
Loading...