Seminarium „Logika i teoria typów”

---

Organizatorzy

• prof. dr hab. Paweł Urzyczyn

Informacje

piątki, 12:15 , sala: 5820

Strona domowa

https://www.mimuw.edu.pl/~alx/piatek.html

Dziedziny badań

• Logika w informatyce
• Teoria automatów

Lista referatów

Termin	Wszystko 2024 2023 2022 2021 2020 2019 2018 Przed 2018
Prelegent