Modern Approaches and Tools for Teaching Classes at the University Level in Theoretical Computer Science Courses of Logic, Types, and Semantics

Patria medzi ne základné súbory cookie, ktoré sú potrebné na prevádzku stránky, ako aj ďalšie, ktoré sa používajú len na anonymné štatistické účely, na nastavenie komfortu alebo na zobrazenie personalizovaného obsahu. Sami sa môžete rozhodnúť, ktoré kategórie chcete povoliť. Upozorňujeme, že na základe vašich nastavení nemusia byť dostupné všetky funkcie webovej lokality.