Poprzednia strona
Rekrutacja 2022/23
A. Grabowski
Isabelle Formalization of Set Theoretic Structures and Set Comprehensions
7th International Conference on Mathematical Aspects of Computer and Information Sciences, Vienna, Austria, Nov 15-17, 2017
SBA Research (org.)
