Nicht lieferbar
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic, Band 10)
Stan RaatzS Roatz
Buch

Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic, Band 10)

Versandkostenfrei!
Nicht lieferbar
Marktplatzangebote
Ein Angebot für € 48,33 €
Beschreibung
Bewertung
Produktdetails
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic, Band 10)