Shang-Ching Chou: Mechanical Geometry Theorem Proving bei ebook.de. Online bestellen oder in der Filiale abholen.