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 se štítkem: FI:IB015 PříF:M7150 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 se štítkem: FI:IB015 PříF:M7150

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

Záložky se štítkem: FI:IB015 PříF:M7150

Homotopy Type Theory: Univalent Foundations of Mathematics
cizí štítky: FI:IB015 cteni education FI:IB016! book ebook PříF:M7150 theory FI:IA014! type
1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
Advanced Topics in Programming Languages (Homotopy type theory)
cizí štítky: FI:IB015 FI:IB016 education FI:IA014 FI:IB016! PříF:M7150 theory FI:IA014! course type 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.