Automation of reasoningJörg H. Siekmann

Automation of reasoning

Jörg H. Siekmann, Graham Wrightson · 1983

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 1983
שפה: English
הוצאה: Springer
מהדורות: 1
עמודים: 525
ISBN: 9780387120430

מקור הנתונים: Wikidata

עוד של Jörg H. Siekmann

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