Nie jesteś zalogowany | Zaloguj się

Eldarica and Horn clause solvers

Prelegent(ci)
Michał Gajda
Język referatu
angielski
Termin
13 czerwca 2025 12:15
Pokój
p. 5450
Tytuł w języku polskim
Eldarica i solvery dla klauzul Hornowskich
Seminarium
Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji