William McCune - Böcker
Visar alla böcker från författaren William McCune.
2 produkter
2 produkter
719 kr
Skickas inom 10-15 vardagar
Automated Deduction - CADE-14
14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
Häftad, Engelska, 1997
719 kr
Skickas inom 10-15 vardagar