Hoppa till sidans huvudinnehåll

Makarius Wenzel – författare

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 Nipkowm. fl.

Häftad, Engelska, 2009

729 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 Campbellm. fl.

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar