Skip to top bar
Skip to header
Skip to content
Skip to footer
CS
>
Limity formálních systémů, důkazů a výpočtů
Interactive Syllabus
Limity formálních systémů, důkazů a výpočtů
CONTENTS
Limity formálních systémů, důkazů a výpočtů
View all
prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Limity formálních systémů, důkazů a výpočtů
prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Limity formálních systémů, důkazů a výpočtů
Info
Course
IV134 Limits of formal systems, proofs, and computation
Term
Autumn 2024
Previous
Next
Limity formálních systémů, důkazů a výpočtů
Operations
View all