1
Agent and Multi-Agent Systems: Technologies and Applications [E-Book] : Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings /
2
Model Checking and Artificial Intelligence [E-Book] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
3
Advanced Data Mining and Applications [E-Book] : 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008. Proceedings /
4
Automation of reasoning. 0002 : Classical papers on computational logic 1967-1970.
Book
Other Personal Name(s): ...Siekmann, J....
5
Automation of reasoning. 0001 : Classical papers on computational logic 1957-1966.
Book
Other Personal Name(s): ...Siekmann, J....
6
Gwai. 1981: german workshop artificial intelligence : Bad-Honnef, 26.01.81-31.01.81.
Book
Other Personal Name(s): ...Siekmann, J....