Automatisierung Von TerminierungsbeweisenChristoph Walther

Automatisierung Von Terminierungsbeweisen

Christoph Walther · 1991

איפה לקנות

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

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

פרטי הספר

שנה: 1991
שפה: German
הוצאה: Springer
מהדורות: 1
עמודים: 253
ISBN: 9783528047719

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

עוד של Christoph Walther

A many-sorted calculus based on resolution and paramodulationChristoph Walther

A many-sorted calculus based on resolution and paramodulation

Christoph Walther · 2014

Semantik und ProgrammverifikationChristoph Walther

Semantik und Programmverifikation

Christoph Walther · 2012

Semantik und ProgrammverifikationChristoph Walther

Semantik und Programmverifikation

Christoph Walther · 2001

Automatisierung von TerminierungsbeweisenChristoph Walther

Automatisierung von Terminierungsbeweisen

Christoph Walther · 1991