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
221
-
240
of
356
Search:
'"Foundations"'
,
query time: 0.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
221
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Published 2017
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
222
Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Published 2016
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
223
Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
224
Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
225
Multiagent System Technologies : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010 Proceedings
Published 2010
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
226
Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
227
Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
228
Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings
Published 2021
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
229
Advances in Brain Inspired Cognitive Systems : 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5–6, 2023, Proceedings
Published 2024
Springer Nature Singapore
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
230
Automated Deduction – CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
231
Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
232
Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
Published 2010
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
233
Multiagent System Technologies : 8th German Conference, MATES 2011, Leipzig, Germany, October 6-7, 2011 Proceedings
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
234
Logic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings
Published 2021
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
235
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
236
Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
237
Grammatical Inference: Algorithms and Applications : 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
238
Adaptive Agents and Multi-Agent Systems : Adaptation and Multi-Agent Learning
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
239
Logical Aspects of Computational Linguistics : Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
240
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings
Published 2017
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
7
8
9
10
11
12
13
14
15
16
17
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=12&filter%5B%5D=dewey-ones%3A%22006+-+Special+computer+methods%22&lookfor=%22Foundations%22&type=Subject
Send by Email
×
Loading...