Stephan Schiffel

Department of Computer Science Dresden University of Technology

1 paper in the IJCAI proceedings

IJCAI 2009

Automated Theorem Proving for General Game Playing

with Michael Thielscher

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings