- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Automated Reasoning
11th International Joint Conference, Ijcar 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Livre broché | Anglais | Lecture Notes in Computer Science | Lecture Notes in Artificial Intelligence | n° 13385
43,45 €
+ 86 points
Description
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022.
The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving, Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems.
This is an open access book.
Spécifications
Parties prenantes
- Editeur:
Contenu
- Nombre de pages :
- 756
- Langue:
- Anglais
- Collection :
- Tome:
- n° 13385
Caractéristiques
- EAN:
- 9783031107689
- Date de parution :
- 17-07-22
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 156 mm x 234 mm
- Poids :
- 1065 g
Seulement chez Librairie Club
+ 86 points sur votre carte client de Librairie Club
Cadeau
Cadeau
Les avis
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.