|
591 |
Implementation and application of automata Berlin : Springer, 2009
|
|
|
592 |
Inductive temporal logic programming Kolter, Robert, 2009, [Online-Ausg.]
|
|
|
593 |
Intelligent and evolutionary systems Berlin : Springer, 2009
|
|
|
594 |
Intelligent distributed computing III Berlin : Springer, 2009
|
|
|
595 |
Intelligent systems and technologies Berlin : Springer, 2009
|
|
|
596 |
Knowledge representation for agents and multi-agent systems Berlin : Springer, 2009
|
|
|
597 |
Logic Programming and Nonmonotonic Reasoning Cham : Springer International Publishing, 2009
|
|
|
598 |
Man machine interactions Berlin : Springer, 2009
|
|
|
599 |
Metamorphosys: Entwurf eines autonomen adaptiven Systems Jeitner, Jürgen. - München : GRIN Verlag GmbH, 2009
|
|
|
600 |
Model checking and artificial intelligence Berlin : Springer, 2009
|
|