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
41
-
60
of
371
Search:
''
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
41
Machine Learning and Data Mining in Pattern Recognition : Second International Workshop, MLDM 2001 Leipzig, Germany, July 25–27, 2001 Proceedings
by
Perner, Petra
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
42
Teaching Formal Methods : CoLogNETFME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
by
Dean, C Neville
Published 2004
Springer Berlin Heidelberg
Read Now
43
The Automation of Reasoning with Incomplete Information : From Semantic Foundations to Efficient Computation
by
Schaub, Torsten
Published 1998
Springer Berlin Heidelberg
Read Now
44
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
45
Rough Sets and Current Trends in Computing : First International Conference, RSCTC’98 Warsaw, Poland, June 22–26, 1998 Proceedings
by
Polkowski, Lech
Published 1998
Springer-Verlag Berlin Heidelberg
Read Now
46
Automated Deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
by
Kirchner, Claude
Published 1998
Springer Berlin Heidelberg
Read Now
47
Rough Sets and Current Trends in Computing : Second International Conference, RSCTC 2000 Banff, Canada, October 16–19, 2000 Revised Papers
by
Ziarko, Wojciech
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
48
Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers
by
Cerioli, Maura
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
49
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
by
Bert, Didier
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
50
Compiler Construction : 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 2...
by
Watt, David A
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
51
Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg
by
Brauer, Wilfried
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
52
Computational Linguistics and Intelligent Text Processing : Third International Conference, CICLing 2002 Mexico City, Mexico, February 17–23, 2002 Proceedings
by
Gelbukh, Alexander
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
53
Developments in Language Theory : 5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001 Revised Papers
by
Kuich, Werner
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
54
MICAI 2002: Advances in Artificial Intelligence : Second Mexican International Conference on Artificial Intelligence Mérida, Yucatán, Mexico, April 22–26, 2002 Proceedings
by
Coello Coello, Carlos A
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
55
Natural Language Processing — NLP 2000 : Second International Conference Patras, Greece, June 2–4, 2000 Proceedings
by
Christodoulakis, Dimitris N
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
56
Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers
by
Bossi, Annalisa
Published 2000
Springer Berlin Heidelberg
Read Now
57
Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings
by
Fuchs, Norbert E
Published 1998
Springer-Verlag Berlin Heidelberg
Read Now
58
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings
by
Egly, Uwe
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
59
Logic Programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings
by
Stuckey, Peter J
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
60
Automated Deduction—CADE-18 : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings
by
Voronkov, Andrei
Published 2002
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=3&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...