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
201
-
220
of
359
Search:
'"Foundations"'
,
query time: 0.53s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
201
Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
202
Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
203
Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
204
Transactions on Rough Sets XXII
Published 2020
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
205
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Published 2019
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
206
Inductive Logic Programming : 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
Published 2018
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
207
Automata Implementation : Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
208
Logic Programming and Nonmonotonic Reasoning : 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings
Published 2022
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
209
Fuzzy Classifier Design
by
Kuncheva, Ludmila I.
Published 2000
Physica
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
210
Automated Deduction in Equational Logic and Cubic Curves
by
McCune, William
,
Padmanabhan, R.
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
211
Intelligent Agents VI. Agent Theories, Architectures, and Languages : 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
212
Inductive Logic Programming : 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
213
Inductive Logic Programming : 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings
Published 2024
Springer Nature Switzerland
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
214
Inductive Logic Programming : 30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings
Published 2022
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
215
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems : AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems...
Published 2006
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
216
Logic Synthesis for FSM-Based Control Units
by
Barkalov, Alexander
,
Titarenko, Larysa
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
217
Recent Advances in Constraints : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Re...
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
218
Modal and Temporal Properties of Processes
by
Stirling, Colin
Published 2001
Springer New York
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
219
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
220
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...
”
6
7
8
9
10
11
12
13
14
15
16
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
003 - Systems
1
011 - Bibliographies
1
381 - Commerce
1
384 - Communications; telecommunication
1
535 - Light & infrared & ultraviolet phenomena
1
620 - Engineering & allied operations
1
see all ...
less ...
Language
English
350
Chinese
6
German
2
Polish
1
Collection
Springer eBooks 2005-
185
Springer Book Archives -2004
125
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
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
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
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
Winikoff, Michael
2
Woltran, Stefan
2
Yli-Jyrä, Anssi
2
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=11&filter%5B%5D=dewey-ones%3A%22006+-+Special+computer+methods%22&lookfor=%22Foundations%22&type=Subject
Send by Email
×
Loading...