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