Manuel Kauers - Böcker
Visar alla böcker från författaren Manuel Kauers.
6 produkter
6 produkter
Inbunden, Engelska, 2023
1 419 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2024
1 159 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2018
719 kr
Skickas inom 7-10 vardagar
Towards Mechanized Mathematical Assistants
Av Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
Häftad, Engelska, 2007
719 kr
Skickas inom 7-10 vardagar
Häftad, Tyska, 2025
369 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2010
999 kr
Skickas inom 7-10 vardagar