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"
product_txtF_mv:"Springer Book Archives -2004"
Showing
1
-
20
of
123
Search:
'"Foundations"'
,
query time: 0.05s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
2
Analogical and Inductive Inference : International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
3
Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
4
Managing Uncertainty in Expert Systems
by
Grzymala-Busse, Jerzy W.
Published 1991
Springer US
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
5
The Logic of Information Structures
by
Wansing, Heinrich
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
6
Practical Applications of Computational Intelligence Techniques
Published 2001
Springer Netherlands
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
7
Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
8
Automated Mathematical Induction
Published 1996
Springer Netherlands
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
9
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Published 2001
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
10
Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
11
Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
12
Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
13
Extensions of Logic Programming : International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
14
Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990
Published 1990
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
15
Fuzzy Logic in Artificial Intelligence : 8th Austrian Artificial Intelligence Conference, FLAI'93, Linz, Austria, June 28-30, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
16
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
17
Challenges for Action Theories
by
Thielscher, Michael
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
18
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
19
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
20
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
...
”
1
2
3
4
5
6
7
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 006 - Special computer methods
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
006 - Special computer methods
Language
English
121
German
2
Collection
Springer Book Archives -2004
Author
Voronkov, Andrei
5
Jantke, Klaus P.
3
Schmitt, Peter H.
3
Bibel, Wolfgang
2
Buckley, James J.
2
Champarnaud, Jean-Marc
2
more ...
Dignum, Frank
2
Furbach, Ulrich
2
Ganzinger, Harald
2
Lee, Jaeho
2
Lesperance, Yves
2
Luck, Michael
2
Maurel, Denis
2
McAllester, David
2
Meyer, John-Jules C.
2
Pearce, David
2
Rash, James L.
2
Singh, Munindar P.
2
Wagner, Gerd
2
Aagaard, Mark
1
Abe, Shigeo
1
Adriaans, Pieter
1
Alonso, Eduardo
1
Andersson, Birger
1
Andersson, Stig I.
1
Apolloni, Bruno
1
Apt, Krzysztof R.
1
Ayyub, Bilal M.
1
Baader, Franz
1
Bandini, S.
1
Bargiela, Andrzej
1
Barley, Mike
1
Basin, David
1
Baumgartner, Peter
1
Beetz, Michael
1
Bergholtz, Maria
1
Berkeley, G.
1
Biermann, A.W.
1
Bläsius, Karl H.
1
Boley, Harold
1
Bouzeghoub, Mokrane
1
Brewka, Gerhard
1
Bruynooghe, Maurice
1
Bundy, Alan
1
Bunker, Annette
1
Börger, Egon
1
Caferra, Ricardo
1
Castelfranchi, Cristiano
1
Cercone, N.
1
Chong, Frederic T.
1
Choueiry, Berthe Y.
1
Clote, Peter G.
1
Comyn, Gerard
1
Corbett, Dan
1
Dahl, Veronica
1
Dang, Zhe
1
Dastani, Mehdi
1
Davis, Larry S.
1
De Wilde, Philippe
1
Del Cerro, Farinas Luis
1
Delgrande, J.P.
1
Dix, Juergen
1
Driankov, Dimiter
1
EL Fallah-Seghrouchni, Amal
1
Eklund, Peter W.
1
Eslami, Esfandiar
1
Fermüller, C.
1
Fernau, Henning
1
Feuring, Thomas
1
Fisher, Michael
1
Fuchs, Norbert E.
1
Fuller, Robert
1
Gabbay, Dov M.
1
Gopalakrishnan, Ganesh C.
1
Gordon, Diana
1
Gore, Rajeev
1
Gottlob, Georg
1
Graf, Peter
1
Grandjean, Etienne
1
Greaves, Mark
1
Grzymala-Busse, Jerzy W.
1
Gupta, Madan M.
1
Hancock, Edwin R.
1
Hantao Zhang
1
Harrison, John
1
Hausser, Roland R.
1
Hedtstück, Ulrich
1
Hinchey, Michael G.
1
Holte, Robert C.
1
Huet, G.
1
Huget, Marc-Phillipe
1
Hähnle, Reiner
1
Ibarra, Oscar H.
1
Jain, Lakhmi
1
Jennings, Nicholas R.
1
Johannesson, P.
1
Jorrand, Philippe
1
Kakas, Antonis
1
Kapur, Deepak
1
Kazakov, Dimitar
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22006+-+Special+computer+methods%22&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%22Foundations%22&type=Subject
Send by Email
×
Loading...