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
61
-
80
of
466
Search:
'"Mathematical Logic And Formal Languages"'
,
query time: 0.46s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
61
Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
by
Lifschitz, Vladimir
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
62
Membrane Computing : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers
by
Martín-Vide, Carlos
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
63
Logic Programming and Nonmonotonic Reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings
by
Eiter, Thomas
Published 2001
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
64
Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part I
by
Kakas, Antonis C
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
65
Inductive Logic Programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings
by
Camacho, Rui
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
66
Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
by
Alferes, Jose, Julio
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
67
Logic Programming and Nonmonotonic Reasoning : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
by
Dix, Jürgen
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
68
Subjective Logic : A Formalism for Reasoning Under Uncertainty
by
Jøsang, Audun
Published 2016
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
69
Logic Programming and Knowledge Representation : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers
by
Dix, Jürgen
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
70
Logic Programming and Nonmonotonic Reasoning : 5th International Conference, LPNMR’ 99 El Paso, Texas, USA, December 2–4, 1999 Proceedings
by
Gelfond, Michael
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
71
Non-Monotonic Extensions of Logic Programming : Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers
by
Dix, Juergen
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
72
Foundations of Inductive Logic Programming
by
Nienhuys-Cheng, Shan-Hwei
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
73
Automata Implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers
by
Raymond, Darrell
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
74
Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Published 2020
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
75
Field Programmable Logic and Applications : 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.
by
Luk, Wayne
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
76
Formal Hardware Verification : Methods and Systems in Comparison
by
Kropf, Thomas
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
77
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
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
78
Types in Compilation : third International Workshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised Selected Papers
by
Harper, Robert
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
79
Advances in Learning Classifier Systems : Third International Workshop, IWLCS 2000 Paris, France, September 15–16, 2000 Revised Papers
by
Luca Lanzi, Pier
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
80
Current Topics in Artificial Intelligence : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 200...
by
Conejo, Ricardo
Published 2004
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=4&lookfor=%22Mathematical+Logic+And+Formal+Languages%22&type=Subject
Send by Email
×
Loading...