Jerzy Tiuryn · 4 obras en el catálogoObrasDDynamic LogicDynamic LogicAAlgebraiczne podstawy teorii maszynAlgebraiczne podstawy teorii maszynFoundation of Software Science and Computation StructuresMM-grupoidy jako narzędzie do badania własności matematycznM-grupoidy jako narzędzie do badania własności matematycznych modeli maszyn cyfrowych i programów
MM-grupoidy jako narzędzie do badania własności matematycznM-grupoidy jako narzędzie do badania własności matematycznych modeli maszyn cyfrowych i programów