Nie jesteś zalogowany |
Powrót do listy instytutów
Publikacje
Konferencja: International Symposium on Logic-based Program Synthesis and Transformation
Liczba publikacji: 12017
- Aleksy Schubert , Maciej Zielenkiewicz, Automata Theory Approach to Predicate Intuitionistic Logic, Logic-Based Program Synthesis and Transformation, Edinburgh, the United Kingdom of Great Britain and Northern Ireland, 6 września 2016 - 6 września 2016. Zobacz w PBN
