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
121
-
140
of
466
Search:
'"Mathematical Logic And Formal Languages"'
,
query time: 0.25s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
121
Theory Reasoning in Connection Calculi
by
Baumgartner, Peter
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
122
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
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
123
Part-Whole Reasoning in an Object-Centered Framework
by
Lambrix, Patrick
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
124
Challenges for Action Theories
by
Thielscher, Michael
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
125
Natural Language Generation : Third International Conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004, Proceedings
by
Belz, Anja
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
126
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 6th European Conference, ECSQARU 2001 Toulouse, France, September 19–21, 2001 Proceedings
by
Benferhat, Salem
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
127
Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part II
by
Kakas, Antonis C
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
128
Machine Learning: ECML 2002 : 13th European Conference on Machine Learning Helsinki, Finland, August 19–23, 2002 Proceedings
by
Elomaa, Tapio
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
129
Case-Based Reasoning Research and Development : Third International Conference on Case-Based Reasoning, ICCBR-99 Seeon Monastery, Germany, July 27-30, 1999 Proceedings
by
Althoff, Klaus-Dieter
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
130
Machine Translation: From Research to Real Users : 5th Conference of the Association for Machine Translation in the Americas, AMTA 2002 Tiburon, CA, USA, October 6-12, 2002. Procee...
by
Richardson, Stephen D
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
131
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
by
Galmiche, Didier
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
132
Algorithmic Learning Theory : 10th International Conference, ALT’99 Tokyo, Japan, December 6–8, 1999 Proceedings
by
Watanabe, Osamu
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
133
Theoretical Aspects of Computer Software : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings
by
Abadi, Martin
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
134
Case-Based Reasoning Research and Development : 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 – August 2, 2001 Proceedings
by
Aha, David W
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
135
Automated Deduction in Geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
by
Wang, Dongming
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
136
Algorithmic Learning Theory : 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings
by
Richter, Michael M
Published 1998
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
137
Logics in Artificial Intelligence : European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
by
Dix, Jürgen
Published 1998
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
138
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
by
Henderson-Sellers, Brian
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
139
Machine Translation and the Information Soup : Third Conference of the Association for Machine Translation in the Americas AMTA’98 Langhorne, PA, USA, October 28–31, 1998 Proceedin...
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
140
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
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
2
3
4
5
6
7
8
9
10
11
12
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=7&lookfor=%22Mathematical+Logic+And+Formal+Languages%22&type=Subject
Send by Email
×
Loading...