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
121
-
140
of
356
Search:
'"Foundations"'
,
query time: 0.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
121
Implementation and Application of Automata : 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
122
Cellular Automata: Research Towards Industry : ACRI’98 — Proceedings of the Third Conference on Cellular Automata for Research and Industry, Trieste, 7–9 October 1998
Published 1998
Springer London
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
123
Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
124
Cognitive Reasoning : A Formal Approach
by
Anshakov, Oleg M.
,
Gergely, Tamás
Published 2010
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
125
Artificial Intelligence in Logic Design
Published 2004
Springer Netherlands
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
126
Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
127
Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revi...
Published 2018
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
128
Inductive Logic Programming : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
129
Evolutionary Algorithms : The Role of Mutation and Recombination
by
Spears, William M.
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
130
Decision Procedures : An Algorithmic Point of View
by
Kroening, Daniel
,
Strichman, Ofer
Published 2008
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
131
Logic and Its Applications : Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
132
Music, Mathematics and Language : The New Horizon of Computational Musicology Opened by Information Science
by
Hirata, Keiji
,
Tojo, Satoshi
,
Hamanaka, Masatoshi
Published 2022
Springer Nature Singapore
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
133
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Published 2015
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
134
Algorithmic Learning Theory : 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
Published 2010
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
135
Coordination, Organizations, Institutions and Norms in Agent Systems IV : COIN 2008 International Workshops COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008 COIN@AAAI 2008, Chicago...
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
136
Reasoning and Unification over Conceptual Graphs
by
Corbett, Dan
Published 2003
Springer US
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
137
Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
Published 2015
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
138
Automated Reasoning and Mathematics : Essays in Memory of William W. McCune
Published 2013
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
139
Coordination, Organizations, Institutions, and Norms in Agent Systems II : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda,...
Published 2007
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
140
Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 2007 COIN@MALLOW 2007, Durham,...
Published 2008
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
2
3
4
5
6
7
8
9
10
11
12
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=7&filter%5B%5D=dewey-ones%3A%22006+-+Special+computer+methods%22&lookfor=%22Foundations%22&type=Subject
Send by Email
×
Loading...