Skip to main content
English
Čeština
Domů
Kolekce
Časopisy
Sborník prací Filozofické fakulty brněnské univerzity
Všeobecné knižní edice
Specializované knižní edice
Knihy mimo edice
Prohlížení
Obory
Ústavy
Názvy
Autoři
Vyhledávání
O platformě
Základní informace
Dokumentace
Nápověda
Kontakt
Digitalia
dynamic proof
Ondráček, Tomáš; Štěpánek, Jan
.
Nástin koncepce adaptivních logik
Subscribe to dynamic proof
