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 2 décembre au 25 décembre, 2024 dans les magasins au Canada (à l’exclusion des commandes en kiosque) et sur indigo.ca à l’achat de $50.00 ou plus d’articles admissibles, avant les taxes, mais après les rabais applicables et l’échange de points privilège. Le montant d’achat minimal exclut les dons à la Fondation Indigo pour l’amour de la lecture et les produits de la Fondation, les cartes-cadeaux, les abonnements irewards 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/431810EF-16FE-4695-98B6-B10963E658C0.html431810EF-16FE-4695-98B6-B10963E658C0
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