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

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

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

53.49 EUR
Preis aktualisiert am: 16-09-2026 04:53:55
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale
BIRKHÄUSER