Výroba oceli

von Benda, Miroslav
Veröffentlicht 1973

Computer-Supported Exploration of a Categorical Axiomatization of Modeloids

von Tiemens, Lucca
Veröffentlicht in RAMiCS (18. : 2020 : Online) Relational and algebraic methods in computer science (2020)