Completeness, Confluence and Related Properties of Clause Graphresolution

Name: Completeness, Confluence and Related Properties of Clause Graphresolution
Price: 50.5 EUR
Availability: OutOfStock
Author: EISINGER
ISBN: 978-1-55860-195-6

EISINGER(Autor*in)

Morgan Kaufmann (Verlag)

Erschienen am 1. Dezember 1994

Buch

Hardcover

181 Seiten

978-1-55860-195-6 (ISBN)

50,50 €inkl. 7% MwSt.

Artikel leider nicht lieferbar

Weitere Details

Als PDF speichern Als Link merken