|
Boldai |
Martin Magnusson |
Complete list of my scientific publications at the Artificial Intelligence division of Linköping University |
Martin Magnusson |
|
![]() |
||||
|
The only game based on automated theorem proving technology.
|
||||
|
Join Sir Bouncealot through ten levels of platform jumping monster bashing fun in his holy quest for a place in the highscore list. |
Mediatron is a web design company that builds web pages that are easy to updated, directly from your browser. |
Fend of swarms of robotic droids in this arcade game featuring insanely fast action and techno music. Watch a YouTube video or Download Quadnet and play in DOSBox. |
||