Aperçu gratuit du livre Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
* Offre en vigueur du 31 mars au 11 mai 2025 dans les magasins au Canada et à indigo.ca, avec tout achat d'au moins 30 $ d’articles admissibles, avant les taxes, mais après les rabais applicables et l’échange de points plum. Le montant d’achat minimal exclut les produits de la Fondation Indigo pour l’amour de la lecture et les dons faits à celle-ci, les cartes-cadeaux, les abonnements à plum+ et les frais d’expédition. La sélection offerte en magasin et en ligne peut varier.
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications/fr-ca/automated-deduction---a-basis-for-applications-volume-i-foundations---calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications/A9ED8CF5-5F90-4864-969F-016C1C090A51.htmlA9ED8CF5-5F90-4864-969F-016C1C090A51
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications