Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Záložky Záložky osoby: Mgr. Matej Kollár, učo 208115 se štítkem: type theory Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Záložky osoby: Mgr. Matej Kollár, učo 208115 se štítkem: type theory

Záložky: žhavé | populární | nejnovější • štítky

Záložky osoby: Mgr. Matej Kollár, učo 208115 se štítkem: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics
mé štítky: FI:IB016! FI:IB015 cteni ebook book PříF:M7150 FI:IA014! education theory type
1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
Advanced Topics in Programming Languages (Homotopy type theory)
mé štítky: FI:IB016! FI:IB015 PříF:M7150 FI:IA014! education theory type course | cizí štítky: FI:IB016 FI:IA014 PříF:M7151 PříF:M8250
2 osoby, první 8. 3. 2015, Juraj Major, záložky, lidé

Děkujeme del.icio.us za inspiraci.