Hoppa till sidans huvudinnehåll

Makarius Wenzel - Böcker

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

Theorem Proving in Higher Order Logics

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

AvStefan Berghofer,Tobias Nipkow,Christian Urban,Makarius Wenzel

Häftad, Engelska, 2009

719 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

AvJohan Jeuring,John Campbell,Jacques Carette,Gabriel Dos Reis,Petr Sojka,Makarius Wenzel,Volker Sorge

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar