Makarius Wenzel - Böcker

Visar alla böcker från författaren Makarius Wenzel.
2 produkter
Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel - Theorem Proving in Higher Order Logics, Häftad

Theorem Proving in Higher Order Logics

Av Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel

Häftad, Engelska, 2009

739 kr

Skickas inom 7-10 vardagar
Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge - Intelligent Computer Mathematics, Häftad

Intelligent Computer Mathematics

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

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar