Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings /: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings. (2016)

• Record Type: Book
• Other Titles: IJCAR 2016
• Further Information: Note: Nicola Olivetti, Ashish Tiwari (eds.).
• Editors: Olivetti, Nicola; Tiwari, Ashish, 1973-
• Other Names: IJCAR (Conference), 8th
• 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.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xx, 580 pages), illustrations
• Subjects: 511.3/6028563; Computer science; Automatic theorem proving -- Congresses; Computer logic -- Congresses; Automatic theorem proving; Computer logic; Computers -- Programming -- General; Computers -- Intelligence (AI) & Semantics; Computers -- Software Development & Engineering -- General; Computers -- Data Processing; Computers -- Programming Languages -- General; Computer programming / software development; Artificial intelligence; Software Engineering; Mathematical theory of computation; Programming & scripting languages: general; Logic design; Artificial intelligence; Software engineering; Mathematics -- Logic; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319402291; 3319402293
• Related ISBNs: 9783319402284
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed June 20, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.