Makarius Wenzel - Böcker

Visar alla böcker från författaren Makarius Wenzel.

2 produkter

Kategorier

2 produkter

Theorem Proving in Higher Order Logics

22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Av Stefan Berghofer, Tobias Nipkow m. fl

Häftad, Engelska, 2009

709 kr

Skickas inom 10-15 vardagar

Intelligent Computer Mathematics

11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings

Av Johan Jeuring, John Campbell m. fl

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar