Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"Leibniz International Proceedings in Informatics, LIPIcs"
"Puzzle games"
Pubblicazioni
Pubblicazioni
Tracks from hell - when finding a proof may be easier than checking it
2018 - Leibniz International Proceedings in Informatics, LIPIcs
Almanza, M.
; Leucci, S.;
Panconesi, A.
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma