Many Sorted Calculus Based on Resolution and Paramodulation

Name: Many Sorted Calculus Based on Resolution and Paramodulation
Price: 49.36 EUR
Availability: OutOfStock
Author: G. Walther
ISBN: 978-0-273-08718-2

G. Walther(Autor*in)

Financial Times Prentice Hall (Verlag)

Erschienen im August 1987

Buch

Softcover

160 Seiten

978-0-273-08718-2 (ISBN)

49,36 €inkl. 7% MwSt.

Artikel ist vergriffen; siehe andere Ausgabe

Weitere Details

Weitere Ausgaben

Als PDF speichern Als Link merken