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
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.$25.00Current 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
ISBN(s): 9783319089171, 9783319089188, 331908917X, 3319089188
Edition: 1
File Details: PDF, 9.15 MB
Year: 2014
Language: English