|
81 |
Model-based failure-modes-and-effects analysis and its application to aircraft subsystems Fraracci, Alessandro. - [Amsterdam] : IOS Press, 2010
|
|
|
82 |
Model-based transformations for quantified boolean formulas Bubeck, Uwe. - Heidelberg : AKA, 2010
|
|
|
83 |
Automated deduction for projection elimination Wernhard, Christoph. - Heidelberg : AKA, 2009
|
|
|
84 |
Understanding planning tasks Helmert, Malte. - Berlin : Springer, 2008
|
|
|
85 |
Utilizing problem structure in planning Hoffmann, Jörg. - Berlin : Springer, 2003
|
|
|
86 |
Non-standard inferences in description logics Küsters, Ralf. - Berlin : Springer, 2001
|
|
|
87 |
Focusing solutions for data mining Reinartz, Thomas. - Berlin : Springer, 1999
|
|
|
88 |
Grading knowledge Staab, Steffen. - Berlin : Springer, 1999
|
|
|
89 |
Development and evaluation of methodologies and tools dedicated to the implementation of the multi-agent paradigm in shop floor control Schäfer, Karin, 1998
|
|
|
90 |
Paradigms of artificial intelligence Hoffmann, Achim. - Singapore : Springer, 1998
|
|