69,93 €
Produit Neuf
Ou 17,48 € /mois
- Livraison : 3,99 €
- Livré entre le 28 juillet et le 3 août
Nos autres offres
-
73,92 €
Produit Neuf
Ou 18,48 € /mois
- Livraison à 0,01 €
- Livré entre le 29 juillet et le 10 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783031107689_dbm
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Automated Reasoning Format Broché - Livre Informatique
0 avis sur Automated Reasoning Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Die Luzerner Chronik Des Diebold Schilling, Aus Dem Jahre 1513
Occasion dès 49,50 €
-
The Complete Beatles Recording Sessions
Occasion dès 35,00 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
The Everyman Chesterton
Neuf dès 38,56 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 49,89 €
-
Poetry In Stitches - Clothes You Can Knit
Occasion dès 50,00 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 58,42 €
-
Les Trains Blindes: De 1825 À Nos Jours
2 avis
Neuf dès 64,00 €
-
Bilingue 2000 - Lexique Thématique De L'italien Contemporain, Lessico Tematico Del Francese Contemporaneo
2 avis
Occasion dès 39,05 €
-
Dahmane
6 avis
Occasion dès 39,98 €
-
Cambridge English Skills Real Listening And Speaking 1 With Answers And Audio Cd
1 avis
Occasion dès 48,07 €
-
Rise Up Women!
Neuf dès 36,76 €
-
Refocus: The Films Of Doris Wishman
Neuf dès 46,03 €
-
Saab 95 & 96 Petrol (66 - 76) Haynes Repair Manual
Neuf dès 48,46 €
-
Invasion Usa
Neuf dès 42,78 €
-
Saab 9-3 Petrol & Diesel (98 - Aug 02) Haynes Repair Manual
Neuf dès 40,25 €
-
Sacred Art Of Nepal
Neuf dès 42,91 €
-
Mucuna Vademecum: Guide D'utilisation Dans La Maladie De Parkinson
Neuf dès 34,98 €
-
Le Jour Où Je Me Suis Rencontrée: Contrôle Alt Zèbre (French Edition)
Occasion dès 36,77 €
-
Traditional Scandinavian Knitting
Neuf dès 36,18 €
Produits similaires
Présentation Automated Reasoning Format Broché
- Livre Informatique
Résumé :
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.
Biographie:
Calculi and Orderings...
Sommaire:
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...
Détails de conformité du produit
Personne responsable dans l'UE