Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Raatz | Graph-Based Proof Procedures for Horn Clauses | Taschenbuch | Englisch

Ø 0.0
0 Bewertungen
49,95 €

Titel: Graph-Based Proof Procedures for Horn Clauses | Medium: Taschenbuch | Autor: Raatz | Einband: Kartoniert / Broschiert | Inhalt: viii / 150 S. / 8 s/w Illustr. / 150 p. 8 illus. | Auflage: Softcover reprint of the original 1st edition 1990 | Sprache: Englisch | Seiten: 160 | Maße: 235 x 155 x 9 mm | Erschienen: 01.12.1990 | Anbieter: Faboplay.

Jetzt bei Ebay: