User
Username
Password
Remember me
Notifications
View
Subscribe
Journal Content
Search
Search Scope
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Issue
By Author
By Title
Other Journals
Font Size
Home
About
Login
Register
Search
Current
Archives
Announcements
Home
>
Search
>
Author Details
Author Details
Ziółko, Bartosz
Vol 12, No 1 (2012)
- Articles
Automatic reasoning in the Planet Wars game
Abstract
PDF
ISSN: 2083-3628
