Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Description de l’éditeur
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
Informatique et Internet
SORTIE
2022
1 août
LANGUE
EN
Anglais
LONGUEUR
771
Pages
ÉDITIONS
Springer International Publishing
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
56,2
Mo