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

Gesponsert
53.49 EUR
Preis aktualisiert am: 24-09-2026 02:33:41
Gesponsert
53.49 EUR
Preis aktualisiert am: 21-09-2026 02:35:25

Allgemein

Marke
BIRKHÄUSER

Eigenschaften

Menü