A Tabled Prolog Program for Solving Sokoban
Neng Fa, Zhou
•
Dovier, Agostino
2011
Periodico
CEUR WORKSHOP PROCEEDINGS
SCOPUS
Archivio
Diritti
metadata only access