booktheque

Automatisierung von Terminierungsbeweisen

Christoph Walther · 1991

איפה לקנות

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

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

פרטי הספר

שנה
1991
שפה
German
סדרה
Artificial Intelligence / Künstliche Intelligenz
הוצאה
Vieweg+Teubner Verlag
מהדורות
1
ISBN
9783322854049

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

עוד של Christoph Walther

A many-sorted calculus based on resolution and paramodulation
Christoph Walther · 2014
Semantik und Programmverifikation
Christoph Walther · 2012
Semantik und Programmverifikation
Christoph Walther · 2001
Automatisierung Von Terminierungsbeweisen
Christoph Walther · 1991