|
431 |
Proof theory and algorithms for answer set programming Gebser, Martin. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2011
|
|
|
432 |
Reasoning in Event-Based Distributed Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
433 |
Recent Developments in the Ordered Weighted Averaging Operators: Theory and Practice Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
434 |
Relevanzbasierte Informationsbeschaffung für die informierte Entscheidungsfindung intelligenter Agenten Gehrke, Jan Dirk. - Bremen : Staats- und Universitätsbibliothek Bremen, 2011
|
|
|
435 |
Rough Sets and Knowledge Technology Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
436 |
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
437 |
Self-organising Software Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
438 |
Self-Organizing Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
439 |
Semantic Agent Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
440 |
Soft Computing for Intelligent Control and Mobile Robotics Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|