Manfred Kerber
Manfred Kerber
Books
Co-authored books and collections
Books that list Manfred Kerber among their authors but not as the lead author: co-written works, collections and compilations.
Computational Logic CL 2000 00John Lloyd - undifferentiated
Computational Logic CL 2000 00
John Lloyd - undifferentiated · 2000
Intelligent Computer MathematicsCatherine Dubois
Intelligent Computer Mathematics
Catherine Dubois · 2023
Towards Mechanized Mathematical AssistantsManuel Kauers
Towards Mechanized Mathematical Assistants
Manuel Kauers · 2007