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 - Theoretical Computer Science and General Issues - Gilles Dowek - Bücher - Springer International Publishing AG - 9783319089171 - 15. Juli 2014
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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 - Theoretical Computer Science and General Issues 2014 edition

Gilles Dowek

Preis
Fr. 54,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 24. Jun - 7. Jul

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 - Theoretical Computer Science and General Issues 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 )