Automated reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings / Nicola Olivetti, Ashish Tiwari (eds.)
IJCAR (Conference) (8th : 2016 : Coimbra, Portugal); Olivetti, Nicola, editor.; Tiwari, Ashish, 1973- editor.
2016
QA76.9.A96
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Automated reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings / Nicola Olivetti, Ashish Tiwari (eds.)
Meeting Name IJCAR (Conference) (8th : 2016 : Coimbra, Portugal)
ISBN 9783319402291 (electronic book)
3319402293 (electronic book)
9783319402284
DOI https://doi.org/10.1007/978-3-319-40229-1
Published Switzerland : Springer, 2016.
Language English
Description 1 online resource (xx, 580 pages) : illustrations.
Item Number 10.1007/978-3-319-40229-1 doi
Call Number QA76.9.A96
Dewey Decimal Classification 511.3/6028563
Summary 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.
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed June 20, 2016).
Added Author Olivetti, Nicola, editor.
Tiwari, Ashish, 1973- editor.
Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 9706.
LNCS sublibrary. SL 7, Artificial intelligence.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export