Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Mathematical Logic And Formal Languages"
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
Search alternatives
:
mathematical »
mathematics
languages »
language
Showing
41
-
60
of
466
Search:
'"Mathematical Logic And Formal Languages"'
,
query time: 0.33s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
41
Fuzzy Logic in Artificial Intelligence : IJCAI'97 Workshop Nagoya, Japan, August 23-24, 1997 Selected and Invited Papers
by
Ralescu, Anca L
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
42
Incremental Speech Translation
by
Amtrup, Jan Willers
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
43
Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectu...
by
Väänänen, Jouko
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
44
Nonmonotonic Logics : Basic Concepts, Results, and Techniques
by
Schlechta, Karl
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
45
New Trends in Formal Languages : Control, Cooperation, and Combinatorics
by
Paun, Gheorghe
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
46
Qualitative and Quantitative Practical Reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, J...
by
Gabbay, Dov
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
47
Automated Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
by
McCune, William
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
48
Discrete Mathematics Using a Computer
by
Hall, Cordelia
,
O'Donnell, John
Published 2000
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
49
Dynamische Integrität von Datenbanken : Grundlagen der Spezifikation und Überwachung
by
Lipeck, Udo W.
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
50
Elementare Berechenbarkeitstheorie
by
Smith, Einar
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
51
Descriptor Revision : Belief Change through Direct Choice
by
Hansson, Sven Ove
Published 2017
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
52
Algebraic Methods in General Rough Sets
Published 2018
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
53
Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991...
Published 1992
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
54
Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
by
Leuschel, M
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
55
Formal Methods in Databases and Software Engineering : Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992
Published 1993
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
56
Logic Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 199...
Published 1994
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
57
Logic and Machines: Decision Problems and Complexity : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und G...
Published 1984
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
58
Formal Methods for Trustworthy Computer Systems (FM89) : Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax,...
Published 1990
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
59
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
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
60
Logics in Artificial Intelligence : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings
by
Flesca, Sergio
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
380
005 - Computer programming, programs & data
42
511 - General principles of mathematics
17
006 - Special computer methods
12
510 - Mathematics
6
160 - Logic
3
more ...
512 - Algebra
3
025 - Library operations
2
620 - Engineering & allied operations
2
331 - Labor economics
1
500 - Natural sciences & mathematics
1
629 - Other branches of engineering
1
see all ...
less ...
Language
English
69
German
25
Italian
1
Collection
Lecture Notes in Computer Science
371
Springer Book Archives -2004
57
Springer eBooks 2005-
37
O'Reilly
1
Author
Rozenberg, Grzegorz
9
Salomaa, Arto
5
Skowron, Andrzej
5
Voronkov, Andrei
5
Bowen, Jonathan P
4
Ehrig, Hartmut
4
more ...
Gelbukh, Alexander
4
Lau, Kung-Kiu
4
Paun, Gheorghe
4
Priese, Lutz
4
Bruynooghe, Maurice
3
Buchberger, Bruno
3
Comon, Hubert
3
Dix, Jürgen
3
Erk, Katrin
3
Hinchey, Michael G
3
Hoffmann, Dirk W.
3
Kakas, Antonis C
3
Ling, Tok Wang
3
Nipkow, Tobias
3
Reusch, Bernd
3
Rossi, Francesca
3
Stolzmann, Wolfgang
3
Wang, Dongming
3
Wilson, Stewart W
3
Wirsing, Martin
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
Börger, Egon
2
Calmet, Jacques
2
Campbell, John A
2
Champarnaud, Jean-Marc
2
Corbett, Dan
2
Cortadella, Jordi
2
Delugach, Harry S
2
Dong, Jin Song
2
Elomaa, Tapio
2
Esposito, Floriana
2
Farwell, David
2
Furbach, Ulrich
2
Gamberger, Dragan
2
Ganter, Bernhard
2
Ganzinger, Harald
2
Gerber, Laurie
2
Giannotti, Fosca
2
Glaser, Hugh
2
Gottlob, Georg
2
Grzymala-Busse, Jerzy W
2
Hovy, Eduard
2
Hu, Alan J
2
Hunter, Anthony
2
Karhumäki, Juhani
2
Kim, Phil
2
Kirchner, Helene
2
Komorowski, Jan
2
Kozen, Dexter
2
Kropf, Thomas
2
Kurt-Gödel-Gesellschaft
2
Lanzi, Pier Luca
2
Lavrac, Nada
2
Leitsch, Alexander
2
Liddle, Stephen W
2
Lifschitz, Vladimir
2
Maibaum, Tom
2
Mamede, Nuno J
2
Mannila, Heikki
2
Maruoka, Akira
2
Maurel, Denis
2
McAllester, David
2
Meduna, Alexander
2
Meinke, Karl
2
Moniz Pereira, Luis
2
Mundici, Daniele
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
Schmid, Ute
2
Shankland, Carron
2
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=3&lookfor=%22Mathematical+Logic+And+Formal+Languages%22&type=Subject
Send by Email
×
Loading...