Skip to content
Vinony

Jörg H. Siekmann

No biography available.

Works (3)

Cover of Mechanizing mathematical reasoning
Mechanizing mathematical reasoning
Cover of Mechanizing mathematical reasoning
Mechanizing mathematical reasoning
Cover of 8th International Conference on Automated Deduction
8th International Conference on Automated Deduction
Jörg H. Siekmann — author · Vinony