01613nlm0 22004691i 450 9900092458304033219783540313632000924583FED01000924583(Aleph)000924583FED0100092458320100926d2006----km-y0itay50------baengDEdrnn-008mamaaAutomated Deduction in GeometryRisorsa elettronica5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papersedited by Hoon Hong, Dongming WangBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433763Documento elettronicoTestoFormato html, pdfHong,HoonWang,DongmingITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11615798EB990009245830403321Artificial 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