Automatisierung Von Terminierungsbeweisen - Kunstliche Intelligenz - Christoph Walther - Books - Springer Fachmedien Wiesbaden - 9783528047719 - 1991
In case cover and title do not match, the title is correct

Automatisierung Von Terminierungsbeweisen - Kunstliche Intelligenz 1991 edition

Christoph Walther

Price
₩ 80,200
excl. VAT

Ordered from remote warehouse

Expected delivery Sep 8 - 18

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Automatisierung Von Terminierungsbeweisen - Kunstliche Intelligenz 1991 edition

253 pages, black & white illustrations, bibliography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released 1991
ISBN13 9783528047719
Publishers Springer Fachmedien Wiesbaden
Pages 253
Dimensions 170 × 244 × 14 mm   ·   430 g
Language German  
Show all

More by Christoph Walther

See all of Christoph Walther ( e.g. Paperback Book )