Richard J. Boulton - Böcker
Visar alla böcker från författaren Richard J. Boulton.
1 produkt
1 produkt
Del 2152 - Lecture Notes in Computer Science
Theorem Proving in Higher Order Logics
14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
Häftad, Engelska, 2001
739 kr
Skickas inom 10-15 vardagar