Liknande böcker

Automated Deduction in Geometry : 6th International Workshop, ADG 2006,...
Bok av Francisco. Botana
Automated Deduction in Geometry : 5th International Workshop, ADG 2004,...
Bok av Hoon. Hong
Deontic Logic in Computer Science : 11th International Conference, DEON...
Bok av Thomas. Ågotnes
Advances in Computer Games : 11th International Conference, ACG 2005, Ta...
Bok av H. Jaap van den. Herik
Lectures on Logic and Computation : ESSLLI 2010 Copenhagen, Denmark, Aug...
Bok av Nick. Bezhanishvili
Computers and Games : 7th International Conference, CG 2010, Kanazawa, J...
Bok av H. Jaap. Herik
Logic Programming and Nonmonotonic Reasoning : 11th International Confer...
Bok av James P. Delgrande
Modeling Decisions for Artificial Intelligence : 9th International Confe...
Bok av Vicenç. Torra

Automated Deduction in Geometry

Bok av Thomas. Sturm