Automated Deduction - A Basis For Applications Volume I Foundations - Calculi And Methods Volume Ii Systems And Implementation Techniques Volume Iii Applications Livre Par Wolfgang Bibel, ('tp') | Indigo
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 12 mai au 29 juin 2025 dans les magasins au Canada et à indigo.ca, jusqu'à épuisement des stocks, avec tout achat d'au moins 30 $ d'articles admissibles en stock, après les rabais et l'échange de points plum. Le montant d'achat minimum exclut les cartes-cadeaux, les abonnements et renouvellements à plum PLUS, les produits de la Fondation pour l'amour de la lecture et les dons faits à celle-ci ainsi que 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