Automated Deduction in Geometry
Series: Lecture Notes in Artificial Intelligence -- 2930; Lecture notes in computer science -- 2930.
Publisher: Springer
Published: 2005
Place of publication: Berlin; London
Language: eng
Format: [electronic resource]
ISBN-13: 9783540246169
Notes: Electronic reproduction. SpringerLink.

Mode of access: World Wide Web.