Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Lambda-isčislenije : jego sintaksis i semantika
Autor Barendregt, Hendrik Pieter, 1947- Vydáno: 1985
Kniha
Avtomatičeskije obrazovanije gipotez : matematičeskije osnovy obščej teorii
Autor Hájek, Petr, 1940-2016 Vydáno: 1984
Kniha