Liknande böcker

Theorem Proving in Higher Order Logics : 20th International Conference,...
Bok av Klaus. Schneider
Modeling Decisions for Artificial Intelligence : 9th International Confe...
Bok av Vicenç. Torra
Advances in Computer Games : 11th International Conference, ACG 2005, Ta...
Bok av H. Jaap van den. Herik
Decision Procedures : An Algorithmic Point of View
Bok av Daniel. Kroening
Relations and Kleene Algebra in Computer Science
Bok av Rudolf. Berghammer
Computers and Games : 7th International Conference, CG 2010, Kanazawa, J...
Bok av H. Jaap. Herik
Artificial Intelligence and Symbolic Computation : 8th International Con...
Bok av Jaques. Calmet
Algorithms in Invariant Theory
Bok av Peter Paule

Agent Technology from a Formal Perspective

Bok av Christopher A. Rouff