Non abbiamo ancora una biografia di Manfred Kerber.
Pubblicato in Inglese
Towards Mechanized Mathematical Assistants
2007
Intelligent Computer Mathematics
2023
Computational Logic CL 2000 00
2000
Otium