Christine Paulin - Böcker
Visar alla böcker från författaren Christine Paulin.
1 produkt
1 produkt
Del 1690 - Lecture Notes in Computer Science
Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Häftad, Engelska, 1999
719 kr
Skickas inom 10-15 vardagar