Computational Logicin Multi-AgentSystems Jürgen DixJoão LeiteGuido Governatori2010 год

Computational Logic in Multi-Agent Systems
книга