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 - Lecture Notes in Computer Science - Gilles Dowek - Livres - Springer International Publishing AG - 9783319089171 - 15 juillet 2014
Si la couverture et le titre ne correspondent pas, le titre est correct.

Gilles Dowek
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 - Lecture Notes in Computer Science 2014 edition

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 8 - 16 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

513 pages, 58 black & white illustrations, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 15 juillet 2014
ISBN13 9783319089171
Éditeurs Springer International Publishing AG
Pages 491
Dimensions 155 × 235 × 26 mm   ·   7,72 kg
Langue et grammaire Français  
Éditeur Dowek, Gilles

Plus par Gilles Dowek

Afficher tout

Voir tous les Gilles Dowek ( par ex. Paperback Book )