Nie jesteś zalogowany | Zaloguj się

PL /
EN

Konferencja: 28th Annual ACM/IEEE Symposium on Logic in Computer Science

Liczba publikacji: 1

2013

Jerzy Marcinkowski, Tomasz Gogacz , Converging to the chase - a tool for finite controllability, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, New Orleans, the United States of America, 25 czerwca 2013 - 28 czerwca 2013. Zobacz w PBN