Jörg H. Siekmann
Jörg H. Siekmann
3 ספרים במאגר
ספרים
Mechanizing mathematical reasoningJörg H. Siekmann
Mechanizing mathematical reasoning
Jörg H. Siekmann · 2005
8th International Conference on Automated DeductionJörg H. Siekmann
8th International Conference on Automated Deduction
Jörg H. Siekmann · 1986
Automation of reasoningJörg H. Siekmann
Automation of reasoning
Jörg H. Siekmann · 1983
ספרים משותפים ואוספים
ספרים שבהם Jörg H. Siekmann מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.