Automated Deduction – CADE-22Renate A. Schmidt

Automated Deduction – CADE-22

Renate A. Schmidt · 2009

איפה לקנות

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

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

פרטי הספר

שנה: 2009
שפה: English
סדרה: Lecture Notes in Computer Science -- 5663
הוצאה: Springer Berlin Heidelberg
מהדורות: 1
ISBN: 9783642029585

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

עוד של Renate A. Schmidt

Relations and Kleene Algebra in Computer ScienceRenate A. Schmidt

Relations and Kleene Algebra in Computer Science

Renate A. Schmidt · 2006

Automated Reasoning with Analytic Tableaux and Related MethodsRenate A. Schmidt

Automated Reasoning with Analytic Tableaux and Related Methods

Renate A. Schmidt · 2017