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