Manfred Kerber

ספרים שבהם Manfred Kerber מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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