Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "theory"
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"
language:"English"
product_txtF_mv:"Springer Book Archives -2004"
Showing
121
-
140
of
1,073
Search:
'"theory"'
,
query time: 0.07s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
121
Frontiers of Combining Systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
122
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
123
An Introduction to Default Logic
by
Besnard, Philippe
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
124
Computational Aspects of an Order-Sorted Logic with Term Declarations
by
Schmidt-Schauß, Manfred
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
125
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990. Proceedings
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... proving in paraconsistent logics:
Theory
and implementation -- Case-free programs: An abstraction...
”
Read Now
126
KI-94: Advances in Artificial Intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... interaction of autonomous agents -- Using rough sets
theory
to predict German word stress -- Graphtheoretical...
”
Read Now
127
Grammatical Inference and Applications : Second International Colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
128
Methodologies for Intelligent Systems : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 - 19, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
...Computing queries from prioritized default
theories
-- Beliefs and bilattices -- Fast termination...
”
Read Now
129
Nonmonotonic Logics : Basic Concepts, Results, and Techniques
by
Schlechta, Karl
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... and analysis --
Theory
revision and probability -- Structured reasoning...
”
Read Now
130
Time Structures : Formal Description and Algorithmic Representation
by
Hajnicz, Elzbieta
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
131
Fuzzy Logic in Artificial Intelligence : IJCAI'97 Workshop Nagoya, Japan, August 23-24, 1997 Selected and Invited Papers
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... -- An application of possibility
theory
information fusion to satellite image classification -- Pattern recognition...
”
Read Now
132
Foundations of Knowledge Representation and Reasoning
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... in concept languages -- Computing extensions of terminological default
theories
-- A formalization...
”
Read Now
133
Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... resolution principle -- A theorem prover for lukaszewicz open default
theory
-- Two different types...
”
Read Now
134
The Automation of Reasoning with Incomplete Information : From Semantic Foundations to Efficient Computation
by
Schaub, Torsten
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
135
Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... Dynamical Systems using PetriNets and Evidence
Theory
-- Robot Navigation and Map Building with the Event...
”
Read Now
136
The State of the Art in Computational Intelligence : Proceedings of the European Symposium on Computational Intelligence held in Košice, Slovak Republic, August 30-September 1, 200...
Published 2000
Physica
Table of Contents:
“
... Planar Transmission Line -- Fuzzy Sets and the
Theory
of Neuronal Group Selection for the Problem...
”
Read Now
137
Rough Sets and Current Trends in Computing : First International Conference, RSCTC’98 Warsaw, Poland, June 22–26, 1998 Proceedings
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... Rules by Matching New Objects Against Data Tables -- Rule+Exception Modeling Based on Rough Set
Theory
...
”
Read Now
138
MICAI 2002: Advances in Artificial Intelligence : Second Mexican International Conference on Artificial Intelligence Merida, Yucatan, Mexico, April 22-26, 2002 Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Framework for Social Agents’ Interaction Based on Communicative Action
Theory
and Dynamic Deontic Logic...
”
Read Now
139
Logic for Learning : Learning Comprehensible Theories from Structured Data
by
Lloyd, John W.
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
...
Theories
-- Part III: Learning -- The Problem of Learning -- Knowledge Representation for Learning...
”
Read Now
140
Design, Specification and Verification of Interactive Systems ’95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7–9, 1995
Published 1995
Springer Vienna
Table of Contents:
“
... of Modality
Theory
-- Towards a Systematic Building of Software Architecture: The TRIDENT Methodological Guide...
”
2
3
4
5
6
7
8
9
10
11
12
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 006 - Special computer methods
Clear Filter
Language: English
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
006 - Special computer methods
003 - Systems
36
530 - Physics
2
535 - Light & infrared & ultraviolet phenomena
1
Language
English
Collection
Springer Book Archives -2004
Author
Jantke, Klaus P.
8
Ras, Zbigniew W.
7
Yager, Ronald R.
7
Zadeh, Lotfi A.
7
Kruse, Rudolf
6
Marinaro, Maria
6
more ...
Steele, Nigel C.
6
Bouchon-Meunier, Bernadette
5
Mira, Jose
5
Tagliaferri, Roberto
5
Voronkov, Andrei
5
Albrecht, Rudolf F.
4
Arbib, Michael A.
4
Brewka, Gerhard
4
Campbell, John A.
4
Crochemore, Maxime
4
Gero, John S.
4
Kittler, Josef
4
Lanzi, Pier L.
4
Lutton, Evelyne
4
Magnenat-Thalmann, Nadia
4
Mc Kevitt, Paul
4
Müller, Jörg
4
Nielsen, Mads
4
Reusch, Bernd
4
Stolzmann, Wolfgang
4
Taylor, J.G.
4
Thalmann, Daniel
4
Wilson, Stewart W.
4
Zhang, Chengqi
4
Ali, Moonis
3
Althoff, Klaus-Dieter
3
Calmet, Jacques
3
Driankov, Dimiter
3
Dzeroski, Saso
3
Eeckman, Frank H.
3
Esposito, Floriana
3
Fetzer, J.H.
3
Florack, Luc
3
Furbach, Ulrich
3
Grave, Michel
3
Jennings, Nicholas R.
3
Johansen, Peter
3
Kamel, Mohamed
3
Klette, Reinhard
3
Komorowski, Jan
3
Kropatsch, Walter
3
Lavrač, Nada
3
Lee, Seong-Whan
3
Nebel, Bernhard
3
Negoita, Mircea Gh
3
Neumann, Bernd
3
Parsons, Simon D.
3
Pearson, David W.
3
Poli, Riccardo
3
Polkowski, Lech
3
Preece, Alun
3
Roli, Fabio
3
Rollinger, Claus-Rainer
3
Ronald, Edmund
3
Ryan, Conor
3
Solina, Franc
3
Sowa, John F.
3
Sudweeks, Fay
3
Wierzchon, Slawomir T.
3
Wooldridge, Michael J.
3
Yao, Xin
3
Abe, Shigeo
2
Andreasen, Troels
2
Ansari, Nirwan
2
Antoniou, Grigoris
2
Apolloni, Bruno
2
Apostolico, Alberto
2
Apt, Krzysztof R.
2
Arikawa, Setsuo
2
Baader, Franz
2
Banzhaf, Wolfgang
2
Barahona, Pedro
2
Bergmann, Ralph
2
Besnard, Philippe
2
Bibel, Wolfgang
2
Bimbo, Alberto del
2
Bischof, Horst
2
Bouchon, Bernadette
2
Boulicaut, Jean-Francois
2
Bower, James M.
2
Branke, Jürgen
2
Branting, L. Karl
2
Brazdil, Pavel B.
2
Buchberger, Bruno
2
Buckley, James J.
2
Burkhardt, Hans
2
Butz, Martin V.
2
Bülthoff, Heinrich H.
2
Cagnoni, Stefano
2
Campilho, Aurélio
2
Cantú-Paz, Erick
2
Castelfranchi, Cristiano
2
Champarnaud, Jean-Marc
2
Chipman, Susan
2
see all ...
less ...
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&filter%5B%5D=language%3A%22English%22&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%22theory%22&type=AllFields
Send by Email
×
Loading...