Christoph Schwarzweller · 2 obras en el catálogoObrasAI Aspects in Reasoning, Languages, and ComputationMMizar verification of generic algebraic algorithmsMizar verification of generic algebraic algorithms
MMizar verification of generic algebraic algorithmsMizar verification of generic algebraic algorithms