|
1241 |
Software Engineering for Multi-Agent Systems III Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
|
|
|
1242 |
Swarm Robotics Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
|
|
|
1243 |
Proof planning with multiple strategies Meier, Andreas, 2004
|
|
|
1244 |
Environmental Software Systems Boston, MA : Springer US, 2000
|
|
|
1245 |
Distributed autonomous robotic systems Berlin : Springer
|
|
|
1246 |
Advanced computational intelligence paradigms in healthcare Berlin : Springer
|
|
|
1247 |
Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III Enthalten in Künstliche Intelligenz Bd. 34, 18.10.2019, Nr. 1, date:3.2020: 105-108
|
|
|
1248 |
Innovations in intelligent machines Berlin : Springer
|
|
|
1249 |
Intelligent robotics and applications Berlin : Springer
|
|
|
1250 |
Software engineering for multi-agent systems Berlin : Springer
|
|