Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I - Nicolas Peltier

Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I

By: Nicolas Peltier, Viorica SofronieStokkermans

eText | 30 June 2020 | Edition Number 1

At a Glance

eText

$129.00

or 4 interest-free payments of $32.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods).

The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics:

Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics

Part II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools

*The conference was held virtually due to the COVID-19 pandemic.

Chapter 'Constructive Hybrid Games' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionMathematicsMathematical FoundationMathematical LogicComputing & I.T.Computer ScienceMathematical Theory of ComputationArtificial IntelligenceComputer Programming & Software DevelopmentSoftware EngineeringProgramming & Scripting LanguagesCompilers & Interpreters

More in Artificial Intelligence

Medium Hot : Images in the Age of Heat - Hito Steyerl

eBOOK

Medium Hot

Images in the Age of Heat

eBook

RRP $22.66

$18.99

16%
OFF
AI Futures - Evgeny Morozov

eBOOK

AI Futures

eBook

RRP $16.88

$13.99

17%
OFF
AI-Powered Search - Trey Grainger

eBOOK

AI-Powered Search

eBook

$52.99

HBR Guide to Generative AI for Managers : HBR Guide - Elisa Farri

eBOOK

HBR Guide to Generative AI for Managers

HBR Guide

eBook

RRP $37.15

$29.99

19%
OFF
The Microeconomics of Artificial Intelligence - Joshua Gans

eBOOK

The Microeconomics of Artificial Intelligence

eBook

RRP $287.16

$229.99

20%
OFF

This product is categorised by