rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Automated Deduction in Geometry
    sub title: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
  name:
    name part: Schreck, Pascal.
    role:
      role term: editor.
  name:
    name part: Narboux, Julien.
    role:
      role term: editor.
  name:
    name part: Richter-Gebert, Jürgen.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2011
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: X, 259 p. online resource.
  abstract: This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.
  note: edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer graphics
  subject:
    topic: Computer Science
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Computer Graphics
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Symbolic and Algebraic Manipulation
  subject:
    topic: Discrete Mathematics in Computer Science
  subject:
    topic: Software Engineering
  classification: Q334-342
  classification: TJ210.2-211.495
  classification: 006.3
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 6877
  identifier: 9783642250705
  identifier: http://dx.doi.org/10.1007/978-3-642-25070-5
  record info:
    record creation date: 111109
    record change date: 20170112034602.0
    record identifier: 978-3-642-25070-5