Wprowadzenie do Leana

Prelegent(ci)

Wojciech Paupa

Afiliacja

MIM

Język referatu

polski

Termin

15 stycznia 2027 12:15

Pokój

p. 5450

Tytuł w języku angielskim

Introduction to Lean

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---