Aperçu gratuit du livre Automated Reasoning With Analytic Tableaux And Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Proceedings
Automated Reasoning With Analytic Tableaux And Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Proceedings
Les livres numériques d’Indigo sont offerts à Kobo.com.
Il suffit de vous connecter ou de créer un compte Kobo gratuit pour démarrer. Lisez des livres numériques sur n’importe quelle liseuse Kobo ou avec l’application Kobo gratuite.
Pourquoi Kobo?
Avec plus de 6 millions de livres numériques figurant parmi les meilleurs au monde, Kobo vous propose un tout nouveau monde de lecture. Emportez vos lectures et accumulez des points à chaque achat.
* Offre en vigueur du 13 janvier au 2 mars 2025 dans les magasins au Canada et à indigo.ca, avec tout achat d'au moins 30 $ d’articles admissibles en stock, avant les taxes et après les rabais applicables au cours d’une même transaction. L’offre ne s’applique pas aux achats antérieurs et ne peut être jumelée à aucune autre offre.
Automated Reasoning With Analytic Tableaux And Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Proceedings/fr-ca/automated-reasoning-with-analytic-tableaux-and-related-methods-30th-international-conference-tableaux-2021-birmingham-uk-september-6-9-2021-proceedings/98E16C60-48EE-409D-A1A2-087461C3CED5.html98E16C60-48EE-409D-A1A2-087461C3CED5
Automated Reasoning With Analytic Tableaux And Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings