01635nlm0 22004691i 450 9900092502704033219783540773566000925027FED01000925027(Aleph)000925027FED0100092502720100926d2007----km-y0itay50------baengDEdrnn-008mamaaAutomated Deduction in GeometryRisorsa elettronica6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papersedited by Francisco Botana, Tomas RecioBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434869Documento elettronicoTestoFormato html, pdfBotana,FranciscoRecio,TomasITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-77356-6EB990009250270403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computational complexityComputer graphicsComputer GraphicsComputer scienceComputer ScienceConvex and Discrete GeometryDiscrete groupsDiscrete Mathematics in Computer ScienceMathematical Logic and Formal LanguagesOptical pattern recognitionPattern RecognitionAutomated Deduction in Geometry772173UNINA