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: 21-05-2026 13:30:13
53.49 EUR
Preis aktualisiert am: 21-05-2026 13:30:13 
SpringerLink DE
Gesponsert Graph-Based Proof Procedures for Horn Clauses
53.49 EUR
Preis aktualisiert am: 21-05-2026 12:56:21
53.49 EUR
Preis aktualisiert am: 21-05-2026 12:56:21 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
BIRKHÄUSER
