Bei bookbox finden Sie eine riesige Auswahl an Büchern aller Genres. Egal, ob Bestseller, Klassiker oder Geheimtipps - wir haben für jeden Lesegeschmack etwas dabei.
Suchen
Suchen

Graph-Based Proof Procedures for Horn Clauses

Autor:

Birkhäuser Boston

Verlag:

Birkhäuser Boston

Sprache:

English
Keine Beschreibung für das Buch

CHF 69.00

Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
ISBN
978-0-817-63530-5
EAN
9780817635305
Erscheinungsjahr
12/1/1990
Edition
Softcover reprint of the original 1st edition 1990
Verlag
Birkhäuser Boston
Author
RAATZ
Sprache
English
Birkhäuser Boston weitere Bücher

Bewertungen

0 Bewertungen