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: Intelligent Computer Mathematics
    sub title: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
  name:
    name part: Jeuring, Johan.
    role:
      role term: editor.
  name:
    name part: Campbell, John A.
    role:
      role term: editor.
  name:
    name part: Carette, Jacques.
    role:
      role term: editor.
  name:
    name part: Reis, Gabriel Dos.
    role:
      role term: editor.
  name:
    name part: Sojka, Petr.
    role:
      role term: editor.
  name:
    name part: Wenzel, Makarius.
    role:
      role term: editor.
  name:
    name part: Sorge, Volker.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2012
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVIII, 473 p. 117 illus. online resource.
  abstract: This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.
  note: edited by Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge.
  subject:
    topic: Computer science
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Information storage and retrieval
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Symbolic and Algebraic Manipulation
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Math Applications in Computer Science
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Information Storage and Retrieval
  classification: QA76.9.M35
  classification: 005.131
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 7362
  identifier: 9783642313745
  identifier: http://dx.doi.org/10.1007/978-3-642-31374-5
  record info:
    record creation date: 120625
    record change date: 20151123131151.0
    record identifier: 978-3-642-31374-5