Automated Reasoning Automated Reasoning

Automated Reasoning

11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Jasmin Blanchette and Others

Publisher Description

This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

GENRE
Computers & Internet
RELEASED
2022
August 1
LANGUAGE
EN
English
LENGTH
771
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
56.2
MB

More Books Like This

Rewriting, Computation and Proof Rewriting, Computation and Proof
Rewriting, Computation and Proof
2007
Reachability Problems Reachability Problems
Reachability Problems
2022
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2011
Automated Reasoning Automated Reasoning
Automated Reasoning
2020
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
2022
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2018

More Books by Jasmin Blanchette, Laura Kovacs & Dirk Pattinson

C++ GUI Programming with Qt4 C++ GUI Programming with Qt4
C++ GUI Programming with Qt4
2008