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
81
-
100
of
371
Search:
''
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
81
Automated Deduction in Geometry : Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings
by
Gao, Xiao-Shan
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
82
Algorithmic Learning Theory : 13th International Conference, ALT 2002 Lübeck, Germany, November 24–26, 2002 Proceedings
by
Cesa-Bianchi, Nicolò
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
83
Concurrency and Hardware Design : Advances in Petri Nets
by
Cortadella, Jordi
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
84
Natural Language Processing and Information Systems : 6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002 Stockholm, Sweden, June 27–...
by
Andersson, Birger
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
85
Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revi...
by
Swart, Harrie C M
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
86
Database Theory — ICDT 2003 : 9th International Conference Siena, Italy, January 8–10, 2003 Proceedings
by
Calvanese, Diego
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
87
Implementation and Application of Automata : 6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers
by
Watson, Bruce W
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
88
Computational Linguistics and Intelligent Text Processing : 4th International Conference, CICLing 2003 Mexico City, Mexico, February 16–22, 2003 Proceedings
by
Gelbukh, Alexander
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
89
Inductive Logic Programming : 12th International Conference, ILP 2002 Sydney, Australia, July 9–11, 2002 Revised Papers
by
Matwin, Stan
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
90
Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
by
Asperti, Andrea
Published 2003
Springer Berlin Heidelberg
Read Now
91
Computational Methods in Systems Biology : First International Workshop, CMSB 2003 Rovereto, Italy, February 24–26, 2003 Proceedings
by
Priami, Corrado
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
92
Membrane Computing : International Workshop, WMC-CdeA 2002 Curtea de Arges, Romania, August 19–23, 2002 Revised Papers
by
PĂun, Gheorghe
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
93
Web Knowledge Management and Decision Support : 14th International Conference on Applications of Prolog, INAP 2001 Tokyo, Japan, October 20–22, 2001 Revised Papers
by
Bartenstein, Oskar
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
94
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing : 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26–29, 2003 Proceedings
by
Wang, Guoyin
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
95
AI*IA 2003: Advances in Artificial Intelligence : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings
by
Cappelli, Amedeo
Published 2003
Springer Berlin Heidelberg
Read Now
96
Machine Learning: ECML 2003 : 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings
by
Lavrac, Nada
Published 2003
Springer Berlin Heidelberg
Read Now
97
Algorithmic Learning Theory : 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings
by
Gavaldà, Ricard
Published 2003
Springer Berlin Heidelberg
Read Now
98
Correct Hardware Design and Verification Methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
by
Geist, Daniel
Published 2003
Springer Berlin Heidelberg
Read Now
99
Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
by
Dong, Jin Song
Published 2003
Springer Berlin Heidelberg
Read Now
100
Modelling with Words : Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework
by
Lawry, Jonathan
Published 2003
Springer 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=5&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...