Nie jesteś zalogowany | Zaloguj się

PL /
EN

Konferencja: International Conference on Types for Proofs and Programs

Liczba publikacji: 1

2021

Paweł Urzyczyn , Duality in Intuitionistic Propositional Logic, 26th International Conference on Types for Proofs and Programs, Turyn, Italy, 2 marca 2020 - 5 marca 2020, 188 2021, s. 11:1--11:10. Zobacz w PBN

Fundusze Europejskie

Europejski Fundusz Społeczny

Inicjatywa doskonałości – uczelnia badawcza

HR Excellence in Research

Zintegrowany Program Rozwoju

Narodowe Centrum Nauki

Uniwersytecki System Obsługi Studiów

Internetowa Rejestracja Kandydatów MOST

Erasmus Without Paper

Uniwersytecki System Obsługi Studiów

Internetowa Rejestracja Kandydatów MOST

Erasmus Without Paper