Automated Reasoning Automated Reasoning

Automated Reasoning

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

Jasmin Blanchette والمزيد

وصف الناشر

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

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٢
١ أغسطس
اللغة
EN
الإنجليزية
عدد الصفحات
٧٧١
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٥٦٫٢
‫م.ب.‬

المزيد من الكتب المشابهة

PROOF AND COMPUTATION II PROOF AND COMPUTATION II
PROOF AND COMPUTATION II
٢٠٢١
International Conference on Mathematical Sciences and Statistics 2013 International Conference on Mathematical Sciences and Statistics 2013
International Conference on Mathematical Sciences and Statistics 2013
٢٠١٤
Sets And Computations Sets And Computations
Sets And Computations
٢٠١٧
Computation, Cryptography, and Network Security Computation, Cryptography, and Network Security
Computation, Cryptography, and Network Security
٢٠١٥
Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory
Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory
٢٠١٨
Directions in Number Theory Directions in Number Theory
Directions in Number Theory
٢٠١٦

المزيد من كتب Jasmin Blanchette, Laura Kovacs & Dirk Pattinson

C++ GUI Programming with Qt4 C++ GUI Programming with Qt4
C++ GUI Programming with Qt4
٢٠٠٨