PakCat catalogue record Mechanical Geometry Theorem Proving By Chou, Shang-Ching Bibliographic details ISBN1402003307 PublisherDordrecht Publication placeD.Reidel publishing Co. Publication year1988 Edition1st LanguageEnglish Material typeBook Physical description362