Aperçu gratuit du livre Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Obtenez un sac polyvalent à 19,99 $ avec tout achat d'au moins 30 $
* Offre en vigueur du 30 juin au 31 août 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 frais d'abonnement et de renouvellement à plum PLUS et les frais d’expédition. La sélection offerte en magasin et en ligne peut varier.
Sélectionner une liste
Ouvrir une session pour ajouter des articles à une liste ou consulter vos listes actuelles.