Christian Urban – författare
Visar alla böcker från författaren Christian Urban. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 9236 - Lecture Notes in Computer Science
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Häftad, Engelska, 2015
719 kr
Skickas inom 10-15 vardagar
Theorem Proving in Higher Order Logics
22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Häftad, Engelska, 2009
719 kr
Skickas inom 10-15 vardagar
1 279 kr
Skickas inom 3-6 vardagar
1 599 kr
Skickas inom 5-8 vardagar