Doporučené témy vo výsledkoch tohto hľadania:
Zobrazujem výsledky 1 - 2 z 2 pre vyhľadávanie '"konštruktívna matematika"'
Doba hľadania: 0,01 s. Upresniť hľadanie
Constructive Mathematics : proceedings of the New Mexico State university conference held at Las Cruces, New Mexico, august 11-15, 1980 /
Bounded arithmetic, propositional logic, and complexity theory

Vyhľadávacie nástroje: RSS – Uložiť hľadanie