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 Reasoning
    sub title: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
  name:
    name part: Olivetti, Nicola.
    role:
      role term: editor.
  name:
    name part: Tiwari, Ashish.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2016
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XX, 580 p. 101 illus. online resource.
  abstract: This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.
  table of contents: Satisfiabiliy of Boolean Formulas -- Satisfiability Modulo Theory -- Rewriting -- Arithmetic Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving -- Higher-order Theorem Proving -- Modal and Temporal Logics -- Non-classical Logics -- Verification.
  note: edited by Nicola Olivetti, Ashish Tiwari.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Software Engineering
  subject:
    topic: Mathematics of Computing
  subject:
    topic: Programming Languages, Compilers, Interpreters
  classification: QA8.9-QA10.3
  classification: 005.131
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 9706
  identifier: 9783319402291
  identifier: http://dx.doi.org/10.1007/978-3-319-40229-1
  record info:
    record creation date: 160611
    record change date: 20160611170026.0
    record identifier: 978-3-319-40229-1