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.55s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
21
Formal Aspects of Component Software : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings
Published 2020
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
22
Relational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings
Published 2021
Springer International Publishing
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
DNA Computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers
Published 2001
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
25
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
26
A New Perspective on Nonmonotonic Logics
by
Gabbay, Dov M.
,
Schlechta, Karl
Published 2016
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
27
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
28
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
29
Modelling Puzzles in First Order Logic
by
Groza, Adrian
Published 2021
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
30
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
31
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
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
First-Order Programming Theories
by
Gergely, Tamas
,
Ury, Laszlo
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
35
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
36
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
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
Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
40
Theoretische Informatik : Petri-Netze
by
Priese, Lutz
,
Wimmel, Harro
Published 2003
Springer Berlin Heidelberg
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...