Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Foundations"
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:"006 - Special computer methods"
Showing
21
-
40
of
356
Search:
'"Foundations"'
,
query time: 0.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
21
Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
22
Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
23
Challenges for Action Theories
by
Thielscher, Michael
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
24
Logics in Artificial Intelligence : European Workshop, JELIA ’98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
25
Automated Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
26
Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
27
Nonmonotonic and Inductive Logic : Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
28
Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
29
Automated Deduction — CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
30
Fundamentals of Artificial Intelligence Research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
31
Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
Published 1990
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
32
Resolution Methods for the Decision Problem
by
Fermüller, C.
,
Leitsch, A.
,
Tammet, Tanel
,
Zamov, Nail
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
33
Term Indexing
by
Graf, Peter
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
34
Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
35
Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
36
Intelligent Decision Support : Handbook of Applications and Advances of the Rough Sets Theory
Published 1992
Springer Netherlands
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
37
Resolution Proof Systems : An Algebraic Theory
by
Stachniak, Z.
Published 1996
Springer Netherlands
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
38
De Motu and the Analyst : A Modern Edition, with Introductions and Commentary
by
Berkeley, G.
Published 1992
Springer Netherlands
Subjects:
“
...Philosophical
Foundations
of Physics and Astronomy...
”
Read Now
39
Rough Sets : Theoretical Aspects of Reasoning about Data
by
Pawlak, Z.
Published 1991
Springer Netherlands
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
40
Nonmonotonic Logic : Context-Dependent Reasoning
by
Marek, V. Wiktor
,
Truszczynski, Miroslaw
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 006 - Special computer methods
Year of Publication
From:
To:
Classification
006 - Special computer methods
331 - Labor economics
10
745 - Decorative arts
7
302 - Social interaction
6
500 - Natural sciences & mathematics
4
658 - General management
3
more ...
000 - Computer science, information & general works
1
011 - Bibliographies
1
381 - Commerce
1
384 - Communications; telecommunication
1
620 - Engineering & allied operations
1
see all ...
less ...
Language
English
347
Chinese
6
German
2
Polish
1
Collection
Springer eBooks 2005-
184
Springer Book Archives -2004
123
O'Reilly
49
Author
Voronkov, Andrei
9
Dastani, Mehdi
5
Dignum, Frank
4
Governatori, Guido
4
Leite, Joao
4
Rossi, Francesca
4
more ...
Schmitt, Peter H.
4
Zeugmann, Thomas
4
Baldoni, Matteo
3
Boissier, Olivier
3
Dignum, Virginia
3
Dix, Jürgen
3
Fisher, Michael
3
Furbach, Ulrich
3
Gottlob, Georg
3
Herzig, Andreas
3
Hähnle, Reiner
3
Jantke, Klaus P.
3
Kazakov, Dimitar
3
Kudenko, Daniel
3
Noriega, Pablo
3
Sardina, Sebastian
3
Son, Tran Cao
3
Torroni, Paolo
3
Vasconcelos, Wamberto
3
Alonso, Eduardo
2
Amirghodsi, Siamak
2
Artikis, Alexander
2
Aven, Jeffrey
2
Balduccini, Marcello
2
Baumgartner, Peter
2
Bellodi, Elena
2
Benzmüller, Christoph
2
Bibel, Wolfgang
2
Boella, Guido
2
Bonacina, Maria Paola
2
Buckley, James J.
2
Calimeri, Francesco
2
Casanovas, Pompeu
2
Champarnaud, Jean-Marc
2
Dahl, Veronica
2
Damji, Jules S.
2
Das, Tathagata
2
Deng, Dun
2
Eiter, Thomas
2
El Fallah Seghrouchni, Amal
2
Faber, Wolfgang
2
Fages, François
2
Fodor, Paul
2
Fontaine, Pascal
2
Gabbay, Dov M.
2
Ganzinger, Harald
2
Ibarra, Oscar H.
2
Jamroga, Wojtek
2
Janhunen, Tomi
2
Kakas, Antonis
2
Kedad, Zoubida
2
Kienzler, Romeo
2
Kohlhase, Michael
2
Laserson, Uri
2
Lee, Denny
2
Lee, Jaeho
2
Leite, João
2
Leone, Nicola
2
Lesperance, Yves
2
Lisi, Francesca A.
2
Liu, Mingming
2
Luck, Michael
2
Lukose, Dickson
2
Maurel, Denis
2
McAllester, David
2
Meyer, John-Jules C.
2
Morgan, Andrew
2
Métais, Elisabeth
2
Nieuwenhuis, Robert
2
Omicini, Andrea
2
Ossowski, Sascha
2
Owen, Sean
2
Padget, Julian
2
Palmirani, Monica
2
Pearce, David
2
Rash, James L.
2
Ryza, Sandy
2
Sattler, Uli
2
Schmidt, Renate
2
Schmidt, Renate A.
2
Sichman, Jaime Simão
2
Singh, Munindar P.
2
Sofronie-Stokkermans, Viorica
2
Stephan, Frank
2
Tamaddoni-Nezhad, Alireza
2
Tinelli, Cesare
2
Trillas, Enric
2
Truszczynski, Miroslaw
2
Villata, Serena
2
Wagner, Gerd
2
Watson, Bruce
2
Wenig, Brooke
2
Westerståhl, Dag
2
Wills, Josh
2
see all ...
less ...
Recently Uploaded
Last Month
2
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=2&filter%5B%5D=dewey-ones%3A%22006+-+Special+computer+methods%22&lookfor=%22Foundations%22&type=Subject
Send by Email
×
Loading...