Yazar
Volker Sorge
2 cilt bulundu.
Cilt sonuçları
Distributed constraint problem solving and reasoning in multi-agent systems
Weixiong Zhang, Volker Sorge, International Joint Conference on Artifi · IOS Press
221 sayfa · 2004
Intelligent agents (Computer software) / Congresses / Distributed artificial intelligence / Artificial intelligence / Non-Fiction
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge · Springer London, Limited
Sayfa sayısı yok · 2006
Artificial intelligence / Logic, symbolic and mathematical / Automatic theorem proving