Sale!

Rewriting and Typed Lambda Calculi Joint International Conference RTA TLCA 2014 Held as Part of the Vienna Summer of Logic VSL 2014 Vienna Austria July 14 17 2014 Proceedings 1st Edition Gilles Dowek (Eds.)

Original price was: $50.00.Current price is: $25.00.

Rewriting and Typed Lambda Calculi Joint International Conference RTA TLCA 2014 Held as Part of the Vienna Summer of Logic VSL 2014 Vienna Austria July 14 17 2014 Proceedings 1st Edition Gilles Dowek (Eds.) Digital Instant Download

Author(s): Gilles Dowek (eds.)
ISBN(s): 9783319089171, 9783319089188, 331908917X, 3319089188
Edition: 1
File Details: PDF, 9.15 MB
Year: 2014
Language: English
SKU: EB-4931912 Category: Tag:

Rewriting and Typed Lambda Calculi Joint International Conference RTA TLCA 2014 Held as Part of the Vienna Summer of Logic VSL 2014 Vienna Austria July 14 17 2014 Proceedings 1st Edition Gilles Dowek (Eds.) – Ebook Instant Download/Delivery ISBN(s): 9783319089171,9783319089188,331908917X,3319089188

You may also like…

Sale!
Quick View

Computers

Hybrid Systems Biology Second International Workshop HSB 2013 Taormina Italy September 2 2013 and Third International Workshop HSB 2014 Vienna Austria July 23 24 2014 Revised Selected Papers 1st Edition Oded Maler

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers

Informatics in Control Automation and Robotics 11th International Conference ICINCO 2014 Vienna Austria September 2 4 2014 Revised Selected Papers 1st Edition Joaquim Filipe

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Networking

Web and Internet Economics 10th International Conference WINE 2014 Beijing China December 14 17 2014 Proceedings 1st Edition Tie-Yan Liu

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers

Computer Aided Verification 30th International Conference CAV 2018 Held as Part of the Federated Logic Conference FloC 2018 Oxford UK July 14 17 2018 Proceedings Part II Hana Chockler

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Networking

Design User Experience and Usability User Experience Design Practice Third International Conference DUXU 2014 Held as Part of HCI International 2014 Heraklion Crete Greece June 22 27 2014 Proceedings Part IV 1st Edition Aaron Marcus (Eds.)

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers

Software Engineering and Formal Methods 14th International Conference SEFM 2016 Held as Part of STAF 2016 Vienna Austria July 4 8 2016 Proceedings 1st Edition Rocco De Nicola

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Networking

Learning and Collaboration Technologies Designing and Developing Novel Learning Experiences First International Conference LCT 2014 Held as Part of HCI International 2014 Heraklion Crete Greece June 22 27 2014 Proceedings Part I 1st Edition Panayiotis Zaphiris

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Computer Science

Automated Reasoning 7th International Joint Conference IJCAR 2014 Held as Part of the Vienna Summer of Logic VSL 2014 Vienna Austria July 19 22 2014 Proceedings 1st Edition Stéphane Demri

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Programming

Computer Aided Verification 26th International Conference CAV 2014 Held as Part of the Vienna Summer of Logic VSL 2014 Vienna Austria July 18 22 2014 Proceedings 1st Edition Armin Biere

Original price was: $50.00.Current price is: $25.00.