RAATZ – författare
Visar alla böcker från författaren .
1 produkt
1 produkt
Del 10 - Progress in Computer Science and Applied Logic
Graph-Based Proof Procedures for Horn Clauses
Häftad, Engelska, 1990
699 kr
Skickas inom 10-15 vardagar
699 kr
Skickas inom 10-15 vardagar