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

Gilles Dowek

Preis

Fr. 59,99

Bestellware

Lieferdatum: ca. 29. Mai - 10. Jun

Unsere Kunden sagen:

14-Tage-Rückgaberecht

Topbewertung bei Trustpilot

Zu deiner iMusic Wunschliste hinzufügen

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

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

Medien	Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum	15. Juli 2014
ISBN13	9783319089171
Verlag	Springer International Publishing AG
Seitenanzahl	491
Maße	155 × 235 × 26 mm · 7,72 kg
Sprache	Französisch
Redakteur	Dowek, Gilles

Alle anzeigen

Weitere Titel von Gilles Dowek

Alle Titel von Gilles Dowek ansehen ( u. a. Taschenbuch )