Automatisierung von Terminierungsbeweisen by Christoph WaltherAutomatisierung von Terminierungsbeweisen by Christoph Walther

Automatisierung von Terminierungsbeweisen

byChristoph Walther

Paperback | January 1, 1991 | German

Pricing and Purchase Info


Earn 409 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores

Title:Automatisierung von TerminierungsbeweisenFormat:PaperbackPublished:January 1, 1991Publisher:Vieweg+Teubner VerlagLanguage:German

The following ISBNs are associated with this title:

ISBN - 10:3528047712

ISBN - 13:9783528047719

Look for similar items by category: