booktheque

Automatisierung von Terminierungsbeweisen

Christoph Walther · 1991

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
1991
Language
German
Series
Artificial Intelligence / Künstliche Intelligenz
Publisher
Vieweg+Teubner Verlag
Editions
1
ISBN
9783322854049

Data source: Wikidata

More by 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