A Many Sorted Calculus Based on Resolution and Paramodulation

Name: A Many Sorted Calculus Based on Resolution and Paramodulation
Price: 50.47 EUR
Availability: OutOfStock
Author: Walther
ISBN: 978-0-934613-49-1

Walther(Autor*in)

Morgan Kaufmann (Verlag)

Erschienen am 1. November 1994

Buch

Hardcover

160 Seiten

978-0-934613-49-1 (ISBN)

50,47 €inkl. 7% MwSt.

Artikel leider nicht lieferbar

Weitere Details

Als PDF speichern Als Link merken