Makarius Wenzel – författare

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

2 produkter

1. 

   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, 2009

   729 kr

   Lägg i varukorg

2. 

   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, 2012

   729 kr

   Lägg i varukorg