International Joint Conference on Artificial Intelligence
Twenty-First International Joint Conference on Artificial Intelligence

Presentations

Reading Tools
Automated Theorem Proving for General Game Playing

Schiffel, Thielscher




Search conference