Automated Deduction in Geometry
Automated Deduction in Geometry
Details
- Pages
- 225
- ISBN-13
- 9783642210464
- OL Work ID
- OL16915904W
Subjects
Logic designComputational complexityComputer graphicsDiscrete groupsComputer scienceArtificial intelligenceGeometryInformatiqueCongressesData processingAutomatic theorem provingGeometry, data processingLogic, symbolic and mathematicalConvex and Discrete GeometryDiscrete Mathematics in Computer ScienceLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesArtificial Intelligence (incl. Robotics)