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
181
-
200
of
371
Search:
''
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
181
Applications of Uncertainty Formalisms
by
Hunter, Anthony
Published 1998
Springer-Verlag Berlin Heidelberg
Read Now
182
Conceptual Structures: Logical, Linguistic, and Computational Issues : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proce...
by
Ganter, Bernhard
Published 2000
Springer Berlin Heidelberg
Read Now
183
Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
by
Aagaard, Mark
Published 2000
Springer Berlin Heidelberg
Read Now
184
New Trends in Constraints : Joint ERCIMCompulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers
by
Apt, Krzysztof R
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
185
Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
by
Clote, Peter G
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
186
Theory Reasoning in Connection Calculi
by
Baumgartner, Peter
Published 1998
Springer Berlin Heidelberg
Read Now
187
Computational Learning Theory : 4th European Conference, EuroCOLT’99 Nordkirchen, Germany, March 29–31, 1999 Proceedings
by
Fischer, Paul
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
188
Compiler Construction : 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands...
by
Jähnichen, Stefan
Published 1999
Springer Berlin Heidelberg
Read Now
189
Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of So...
by
Thomas, Wolfgang
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
190
Logical Aspects of Computational Linguistics : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers
by
Lecomte, Alain
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
191
Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings
by
Narendran, Paliath
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
192
Computer Aided Verification : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings
by
Halbwachs, Nicolas
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
193
Automated Deduction — CADE-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings
by
Ganzinger, Harald
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
194
Conceptual Structures: Standards and Practices : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings
by
Tepfenhart, William M
Published 1999
Springer Berlin Heidelberg
Read Now
195
Modeling and Using Context : Second International and Interdisciplinary Conference,CONTEXT’99 Trento, Italy, September 9–11, 1999 Proceedings
by
Bouquet, Paolo
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
196
Logic Programming and Automated Reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
by
Ganzinger, Harald
Published 1999
Springer Berlin Heidelberg
Read Now
197
Correct System Design : Recent Insights and Advances
by
Olderog, Ernst-Rüdiger
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
198
New Directions in Rough Sets, Data Mining, and Granular-Soft Computing : 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings
by
Zhong, Ning
Published 1999
Springer Berlin Heidelberg
Read Now
199
Automata Implementation : Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers
by
Champarnaud, Jean-Marc
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
200
Algorithmic Learning Theory : 10th International Conference, ALT’99 Tokyo, Japan, December 6–8, 1999 Proceedings
by
Watanabe, Osamu
Published 1999
Springer-Verlag Berlin Heidelberg
5
6
7
8
9
10
11
12
13
14
15
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=10&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...