Afiliat la Universitatea din Auckland
A Sublinear Sudoku Solution in cP Systems and its Formal Verification |
Liu Yezhou , Nicolescu Radu , Sun Jing , Henderson Alec |
Computer Science Journal of Moldova |
Nr. 1(85) / 2021 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 24 April, 2021 |
1-1 of 1