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: 24-07-2026 16:22:12
Siehe Produktangebot

Gesponsert Graph-Based Proof Procedures for Horn Clauses

59.00 EUR
Preis aktualisiert am: 24-07-2026 23:36:11
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale
BIRKHÄUSER