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
topic_facet:"Mathematical Logic and Formal Languages"
Showing
141
-
160
of
371
Search:
''
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
141
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
by
Goré, Rajeev
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
142
Advances in Learning Classifier Systems : Third International Workshop, IWLCS 2000 Paris, France, September 15–16, 2000 Revised Papers
by
Luca Lanzi, Pier
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
143
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 6th European Conference, ECSQARU 2001 Toulouse, France, September 19–21, 2001 Proceedings
by
Benferhat, Salem
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
144
Fundamentals of Computation Theory : 13th International Symposium, FCT 2001 Riga, Latvia, August 22–24, 2001 Proceedings
by
Freivalds, Rūsiņš
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
145
Machine Learning and Its Applications : Advanced Lectures
by
Paliouras, Georgios
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
146
Implementation and Application of Automata : 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers
by
Yu, Shen
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
147
Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
by
Boulton, Richard J
Published 2001
Springer Berlin Heidelberg
Read Now
148
Machine Learning: ECML 2001 : 12th European Conference on Machine Learning Freiburg, Germany, September 5–7, 2001 Proceedings
by
Raedt, Luc
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
149
Inductive Logic Programming : 11th International Conference, ILP 2001 Strasbourg, France, September 9–11, 2001 Proceedings
by
Rouveirol, Céline
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
150
Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
by
Margaria, Tiziana
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
151
Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
by
Fribourg, Laurent
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
152
Logic Programming and Nonmonotonic Reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings
by
Eiter, Thomas
Published 2001
Springer Berlin Heidelberg
Read Now
153
Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers
by
Richter-Gebert, Jürgen
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
154
The Automation of Reasoning with Incomplete Information : From Semantic Foundations to Efficient Computation
by
Schaub, Torsten
Published 1998
Springer Berlin Heidelberg
Read Now
155
Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
by
Nielsen, Mogens
Published 1998
Springer Berlin Heidelberg
Read Now
156
Logic Programming : 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings
by
Codognet, Philippe
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
157
Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings
by
Nieuwenhuis, Robert
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
158
Computer Aided Systems Theory - EUROCAST 2001 : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, Febru...
by
Moreno-Diaz, Roberto
Published 2001
Springer Berlin Heidelberg
Read Now
159
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference Bangalore, India, December 13–15, 2001 Proceedings
by
Hariharan, Ramesh
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
160
Logic Programming and Knowledge Representation : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers
by
Dix, Jürgen
Published 1998
Springer Berlin Heidelberg
3
4
5
6
7
8
9
10
11
12
13
Back
Narrow Search
Remove Filters
Clear Filter
Other: Mathematical Logic and Formal Languages
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
371
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=8&filter%5B%5D=topic_facet%3A%22Mathematical+Logic+and+Formal+Languages%22&type=AllFields
Send by Email
×
Loading...