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
181
-
200
of
371
Search:
''
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
181
Conceptual Modeling -- ER 2003 : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings
by
Song, Il-Yeol
Published 2003
Springer Berlin Heidelberg
Read Now
182
Logics in Artificial Intelligence : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings
by
Ojeda-Aciego, Manuel
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
183
Analysis and Visualization Tools for Constraint Programming : Constraint Debugging
by
Deransart, Pierre
Published 2000
Springer Berlin Heidelberg
Read Now
184
Learning Language in Logic
by
Cussens, James
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
185
Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
by
Demoen, Bart
Published 2004
Springer Berlin Heidelberg
Read Now
186
Advances in Case-Based Reasoning : 7th European Conference, ECCBR 2004, Madrid, Spain, August 30 - September 2, 2004, Proceedings
by
Funk, Peter
Published 2004
Springer Berlin Heidelberg
Read Now
187
FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
by
Oliveira, José Nuno
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
188
Compiler Construction : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–...
by
Wilhelm, Reinhard
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
189
Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001...
by
Sands, David
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
190
Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Sof...
by
Honsell, Furio
Published 2001
Springer Berlin Heidelberg
Read Now
191
Machine Learning: ECML 2004 : 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings
by
Boulicaut, Jean-Francois
Published 2004
Springer Berlin Heidelberg
Read Now
192
Knowledge Discovery in Databases: PKDD 2004 : 8th European Conference on Principles and Practice of Knowledge Discovery in Databases, Pisa, Italy, September 20-24, 2004, Proceeding...
by
Boulicaut, Jean-Francois
Published 2004
Springer Berlin Heidelberg
Read Now
193
Natural Language Processing and Information Systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000 Versailles, France, June 28...
by
Bouzeghoub, Mokrane
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
194
Constraints in Computational Logics. Theory and Applications : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
by
Comon, Hubert
Published 2001
Springer Berlin Heidelberg
Read Now
195
Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings
by
Abramsky, Samson
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
196
Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings
by
Danvy, Olivier
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
197
Artificial Intelligence and Symbolic Computation : International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers
by
Campbell, John A
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
198
Rewriting Techniques and Applications : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings
by
Middeldorp, Aart
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
199
Machines, Computations, and Universality : Third International Conference, MCU 2001 ChişinĂu, Moldova, May 23–27, 2001 Proceedings
by
Margenstern, Maurice
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
200
Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers
by
Lau, Kung-Kiu
Published 2001
Springer-Verlag Berlin Heidelberg
5
6
7
8
9
10
11
12
13
14
15
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=10&filter%5B%5D=topic_facet%3A%22Mathematical+Logic+and+Formal+Languages%22&type=AllFields
Send by Email
×
Loading...