A many-sorted calculus based on resolution and paramodulationChristoph Walther

A many-sorted calculus based on resolution and paramodulation

Christoph Walther · 2014

איפה לקנות

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

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

פרטי הספר

שנה: 2014
שפה: English
הוצאה: Elsevier Science & Technology Books
מהדורות: 1
ISBN: 9781483258935

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

עוד של Christoph Walther

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

Automatisierung Von TerminierungsbeweisenChristoph Walther

Automatisierung Von Terminierungsbeweisen

Christoph Walther · 1991