Manfred Kerber · 3 obras en el catálogoObrasComputational Logic CL 2000 00TTowards Mechanized Mathematical AssistantsTowards Mechanized Mathematical AssistantsIIntelligent Computer MathematicsIntelligent Computer Mathematics