Automatisierung Von Terminierungsbeweisen [German]

By Christoph Walther

Das Fuhren von Terminierungsbeweisen flir rekursiv definierte Algorithmen erfordert eine gewisse Kreativitiit des (menschlichen oder automatischen) Bewei- sers, die sich im Erfinden einer Hypothese... This description may be from another edition of this product.

• Format: Paperback
• Language: German
• ISBN: 3528047712
• ISBN13: 9783528047719
• Release Date: January 1991
• Publisher: Vieweg+teubner Verlag
• Length: 253 Pages
• Weight: 0.95 lbs.
• Dimensions: 0.6" x 6.7" x 9.6"