Nie jesteś zalogowany |
Powrót do listy instytutów
Publikacje
Konferencja: Workshop on Logic, Language, Information and Computation
Liczba publikacji: 12024
- Marek Zawadowski , Justyna Grudzińska-Zawadowska, Polyadic Quantifiers on Dependent Types, 30th Workshop on Logic, Language, Information and Computation, Bern, Switzerland, 10 czerwca 2024 - 13 czerwca 2024. Zobacz w PBN
