Metody dokazatel'stva v informatike
-
pokkari
,
venäjä, 2015