Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Jakub Dakowski"'
Autor:
Jakub Dakowski
Publikováno v:
Proceedings, Vol 81, Iss 1, p 78 (2022)
(1) Introduction: While automatic Sudoku solvers are a well-known area of study in formal sciences, there has been little to no progress when it comes to describing the proving process as analogous to Sudoku solving. (2) Materials and Methods: This p
Externí odkaz:
https://doaj.org/article/905653b3f45446d48b56f76cca8e513c
Publikováno v:
International Journal of Human–Computer Interaction. :1-11
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa07f4e611048f49407a177a6513fec6
https://doi.org/10.1080/10447318.2023.2179216
https://doi.org/10.1080/10447318.2023.2179216
Publikováno v:
2022 IEEE Conference on Games (CoG).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a81b97e4e0b87cd62492abd7b71fa048
https://doi.org/10.1109/cog51982.2022.9893696
https://doi.org/10.1109/cog51982.2022.9893696