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

Name: 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
Author: Gilles Dowek
ISBN: 9783319089171

Gilles Dowek

15 juillet 2014

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Theoretical Computer Science and General Issues

Auteur

Évaluation éditoriale

Nom du produit	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
Marque	null
Sous-marque	null
Type	null
Étape de vie	null
Convient aux personnes de	null
Genre	null
Dimensions à l’expédition	9" H x 6" W x 1" L
Taille	null
Taille	null
Couleur	null
Famille de couleurs	null
Style	null
Langue	anglais
Va au four à micro-ondes	null
Genre	null
Va au lave-vaisselle	null
Assemblage requis	null
Piles requises	null
Piles incluses	null
Écologique	null
Exclusivité Indigo	null
Du Canada	null
Ingrédients	null
Allergènes	null
Cote ESRB	null
Style de la carte-cadeau	null
Type de carte-cadeau	null
Format	Couverture souple
Pages	491
Date de sortie	15 juillet 2014
Publié par	Springer/Sci-Tech/Trade
ISBN	9783319089171

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

Description

Auteur

Cotes et évaluations

Évaluation éditoriale