Hakutulokset
Aihe-ehdotuksia
Aihe-ehdotuksia
-
1
-
2
Логические вопросы теории типов данных сборник научных трудов
Julkaistu Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986Kirja