Graph-Based Proof Procedures for Horn Clauses

53.49 EUR 9% Off 59.00 EUR

Marke: BIRKHÄUSER

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

-9%

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

53.49 EUR 59.00 EUR

06-09-2026 20:55:44

Access to the deal

59.00 EUR 59.00 EUR

07-09-2026 11:18:25

Access to the deal