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 Book Archives -2004"
Search alternatives
:
"mathematics logic and foundations" »
"mathematical logic and foundations"
Showing
1
-
20
of
45
Search:
'"mathematics logic and foundations"'
,
query time: 0.35s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Complexity Theory Retrospective : In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988
Published 1990
Springer New York
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
2
λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo “Mauro Picone” of the Consi...
Published 1975
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
3
Automated Theorem Proving
by
Bibel, Wolfgang
Published 1987
Vieweg+Teubner Verlag
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
4
Software Defect and Operational Profile Modeling
by
Kai-Yuan Cai
Published 1998
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
5
Rekursive Funktionen
by
Lüneburg, Heinz
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
6
Flexible Query Answering Systems
Published 1997
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
7
First-Order Logic and Automated Theorem Proving
by
Fitting, Melvin
Published 1996
Springer New York
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
8
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
9
Rewriting Techniques and Applications : Bordeaux, France, May 25-27, 1987. Proceedings
Published 1987
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
10
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
11
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
12
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
13
First-Order Programming Theories
by
Gergely, Tamas
,
Ury, Laszlo
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
14
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
15
Advanced Fuzzy Systems Design and Applications
by
Jin, Yaochu
Published 2003
Physica
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
16
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
17
Theoretische Informatik : Petri-Netze
by
Priese, Lutz
,
Wimmel, Harro
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
18
Developments in Language Theory : 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
19
Knowledge Discovery and Data Mining : The Info-Fuzzy Network (IFN) Methodology
by
Maimon, O.
,
Last, M.
Published 2001
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
20
Isabelle : A Generic Theorem Prover
by
Paulson, Lawrence C.
Published 1994
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 Book Archives -2004
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
003 - Systems
3
004 - Data processing & computer science
1
Language
English
39
German
6
Collection
Springer Book Archives -2004
Author
Dybjer, Peter
3
Rozenberg, Grzegorz
3
Nipkow, Tobias
2
Nordström, Bengt
2
Salomaa, Arto
2
Smith, Jan
2
more ...
Aalst, Wil van der
1
Alblas, Henk
1
Andreasen, Troels
1
Avenhaus, Jürgen
1
Baaz, Matthias
1
Beckstein, Clemens
1
Bert, Didier
1
Best, Eike
1
Bibel, Wolfgang
1
Boldt, Oliver
1
Bowen, Jonathan P.
1
Böhm, C.
1
Calude, Christian S.
1
Caviness, Bob F.
1
Christiansen, Henning
1
Condon, Anne
1
Coquand, Thierry
1
Cornelius, Felix
1
Diaz, Josep
1
Ehrig, Hartmut
1
Felscher, Walter
1
Fitting, Melvin
1
Fribourg, Laurent
1
Fülöp, Zoltan
1
George, Roy
1
Gergely, Tamas
1
Große-Rhode, Martin
1
Grundy, Jim
1
Guoqing Chen
1
Harrison, John
1
Heering, Jan
1
Henson, Martin C.
1
Jin, Yaochu
1
Johnson, Jeremy R.
1
Jouannaud, Jean-Pierre
1
Jürgensen, Helmut
1
Kahle, Reinhard
1
Kai-Yuan Cai
1
Kuich, Werner
1
Lafontaine, Christine
1
Larsen, Henrik Legind
1
Last, M.
1
Lescanne, Pierre
1
Lüneburg, Heinz
1
Mahr, Bernd
1
Maimon, O.
1
Makowsky, Johann M.
1
Maluszynski, Jan
1
Meinke, Karl
1
Melichar, Borivoj
1
Möller, Bernhard
1
Orejas, Fernando
1
Paulson, Lawrence C.
1
Paun, Gheorghe
1
Pitt, David H.
1
Pitts, Andrew
1
Priese, Lutz
1
Raymond, Darrell
1
Remy, Jean-Luc
1
Robinson, Ken
1
Rusinowitch, Michael
1
Rydeheard, David E.
1
Schroeder-Heister, Peter
1
Selman, Alan L.
1
Shanahan, James G.
1
Simons, Martin
1
Sturmfels, Bernd
1
Stärk, Robert
1
Ury, Laszlo
1
Vogler, Heiko
1
Weber, Matthias
1
Wimmel, Harro
1
Wirsing, Martin
1
Wood, Derick
1
Wright, Joakim von
1
Yazici, Adnan
1
Yu, Sheng
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%22mathematics+logic+and+foundations%22&type=Subject
Send by Email
×
Loading...