Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Blanchette - Interaktiver Satz, der 7. Internationale Konferenz beweist - J555z

Ø 0.0
0 Bewertungen
73,36 €

The Title is Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Category - MATHEMATICS / Logic. Hours of Service. This is a great gift idea.

Jetzt bei Ebay: