MMizar verification of generic algebraic algorithmsMizar verification of generic algebraic algorithmsde Christoph SchwarzwellerEdiciones (1)Mizar verification of generic algebraic algorithms (1997)inglésMás obras de Christoph SchwarzwellerAI Aspects in Reasoning, Languages, and ComputationVer todas las obras de Christoph Schwarzweller →
