GEB -- meze formálních systémů

Týden 11

Přednášející

  • Tomáš Lamser a Jiří Zárevúcky

Obsah semináře

  • 17 až 20 kapitola GEB 

Recepty

  • TBA

Abstrakt

  • TBA
Předchozí
Následující
Operace
Prohlédnout vše