Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search:
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:"004 - Data processing & computer science"
topic_facet:"Mathematical Logic and Formal Languages"
Showing
61
-
80
of
371
Search:
''
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
61
Abstraction, Reformulation, and Approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
by
Koenig, Sven
Published 2002
Springer Berlin Heidelberg
Read Now
62
Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part I
by
Kakas, Antonis C
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
63
Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part II
by
Kakas, Antonis C
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
64
Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
by
Choueiry, Berthe Y
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
65
Database Theory — ICDT’99 : 7th International Conference Jerusalem, Israel, January 10–12, 1999 Proceedings
by
Beeri, Catriel
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
66
Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings
by
Haeberer, Armando M
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
67
Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
by
Roever, Willem-Paul
Published 1998
Springer-Verlag Berlin Heidelberg
Read Now
68
Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings
by
Gurevich, Yuri
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
69
Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
by
Gottlob, Georg
Published 1999
Springer Berlin Heidelberg
Read Now
70
Computation for Metaphors, Analogy, and Agents
by
Nehaniv, Chrystopher L
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
71
Computational Intelligence. Theory and Applications : International Conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999, Proceedings
by
Reusch, Bernd
Published 1999
Springer Berlin Heidelberg
Read Now
72
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings
by
Murray, Neil V
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
73
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
by
Hunter, Anthony
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
74
Case-Based Reasoning Research and Development : Third International Conference on Case-Based Reasoning, ICCBR-99 Seeon Monastery, Germany, July 27-30, 1999 Proceedings
by
Althoff, Klaus-Dieter
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
75
Fuzzy Logic in Artificial Intelligence : IJCAI'97 Workshop Nagoya, Japan, August 23-24, 1997 Selected and Invited Papers
by
Ralescu, Anca L
Published 1999
Springer Berlin Heidelberg
Read Now
76
Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
by
Hutter, Dieter
Published 1999
Springer Berlin Heidelberg
Read Now
77
Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
by
Bertot, Yves
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
78
Computer Science Logic : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings
by
Flum, Jörg
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
79
Types for Proofs and Programs : International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers
by
Altenkirch, Thorsten
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
80
Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings
by
Pierre, Laurence
Published 1999
Springer-Verlag Berlin Heidelberg
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Clear Filter
Other: Mathematical Logic and Formal Languages
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
Collection
Lecture Notes in Computer Science
371
Author
Rozenberg, Grzegorz
8
Salomaa, Arto
5
Skowron, Andrzej
5
Voronkov, Andrei
5
Bowen, Jonathan P
4
Gelbukh, Alexander
4
more ...
Buchberger, Bruno
3
Comon, Hubert
3
Dix, Jürgen
3
Ehrig, Hartmut
3
Hinchey, Michael G
3
Kakas, Antonis C
3
Ling, Tok Wang
3
Nipkow, Tobias
3
Paun, Gheorghe
3
Reusch, Bernd
3
Rossi, Francesca
3
Stolzmann, Wolfgang
3
Wang, Dongming
3
Wilson, Stewart W
3
Wood, Derick
3
Ali, Moonis
2
Apt, Krzysztof R
2
Baaz, Matthias
2
Backhouse, Roland
2
Basin, David
2
Bert, Didier
2
Blockeel, Hendrik
2
Boulicaut, Jean-Francois
2
Bouquet, Paolo
2
Bruynooghe, Maurice
2
Calmet, Jacques
2
Campbell, John A
2
Champarnaud, Jean-Marc
2
Corbett, Dan
2
Delugach, Harry S
2
Elomaa, Tapio
2
Esposito, Floriana
2
Furbach, Ulrich
2
Gamberger, Dragan
2
Ganter, Bernhard
2
Ganzinger, Harald
2
Giannotti, Fosca
2
Glaser, Hugh
2
Gottlob, Georg
2
Grzymala-Busse, Jerzy W
2
Hu, Alan J
2
Hunter, Anthony
2
Karhumäki, Juhani
2
Kirchner, Helene
2
Komorowski, Jan
2
Kropf, Thomas
2
Lanzi, Pier Luca
2
Lau, Kung-Kiu
2
Lavrac, Nada
2
Leitsch, Alexander
2
Liddle, Stephen W
2
Lifschitz, Vladimir
2
Mamede, Nuno J
2
Mannila, Heikki
2
Maruoka, Akira
2
Maurel, Denis
2
McAllester, David
2
Meinke, Karl
2
Moniz Pereira, Luis
2
Möller, Bernhard
2
Nagl, Manfred
2
Nerode, Anil
2
Nielsen, Mogens
2
Ohlbach, Hans J
2
Palamidessi, Catuscia
2
Paliouras, Georgios
2
Parsons, Simon
2
Pedreschi, Dino
2
Perner, Petra
2
Peters, James F
2
Przymusinski, Teodor C
2
PĂun, Gheorghe
2
Ralescu, Anca L
2
Ringeissen, Christophe
2
Rusinowitch, Michael
2
Sadri, Fariba
2
Smolka, Gert
2
Sucar, Luis Enrique
2
Taha, Walid
2
Thomas, Wolfgang
2
Todorovski, Ljupco
2
Toivonen, Hannu
2
Walsh, Toby
2
Yao, Yiyu
2
Yu, Sheng
2
Zeugmann, Thomas
2
Zhong, Ning
2
Aagaard, Mark
1
Aagaard, Mark D
1
Abadi, Martin
1
Abe, Naoki
1
Abramsky, Samson
1
Adian, Sergei
1
Adriaans, Pieter
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=4&filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&filter%5B%5D=topic_facet%3A%22Mathematical+Logic+and+Formal+Languages%22&type=AllFields
Send by Email
×
Loading...