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: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
  name:
    name part: Davenport, James H.
    role:
      role term: editor.
  name:
    name part: Farmer, William M.
    role:
      role term: editor.
  name:
    name part: Urban, Josef.
    role:
      role term: editor.
  name:
    name part: Rabe, Florian.
    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: XIII, 312 p. online resource.
  abstract: This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011. All 51 submissions passed through a rigorous review process. A total of 15 papers were submitted to Calculemus, of which 9 were accepted. Systems and Projects track 2011 there have been 12 papers selected out of 14 submissions while MKM 2011 received 22 submissions, of which 9 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.
  note: edited by James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe.
  subject:
    topic: Computer science
  subject:
    topic: Mathematical logic
  subject:
    topic: Database management
  subject:
    topic: Data mining
  subject:
    topic: Information storage and retrieval
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Information Systems Applications (incl. Internet)
  subject:
    topic: Database Management
  subject:
    topic: Information Storage and Retrieval
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Data Mining and Knowledge Discovery
  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, 6824
  identifier: 9783642226731
  identifier: http://dx.doi.org/10.1007/978-3-642-22673-1
  record info:
    record creation date: 110713
    record change date: 20170120151730.0
    record identifier: 978-3-642-22673-1