Výsledky vyhledávání
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
-
1
-
2
Логические вопросы теории типов данных сборник научных трудов
Vydáno Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986Kniha