An edition of Rewriting and Typed Lambda Calculi
(2014)
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
by Gilles Dowek
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Logic, symbolic and mathematical, Computer science, Logic design, Algebra, Data processing, Electronic data processing, Symbolic and mathematical Logic, Mathematical Logic and Formal Languages, Mathematics of Computing, Logics and Meanings of Programs, Symbolic and Algebraic Manipulation, Computing Methodologies, Mathematical Logic and FoundationsShowing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
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
2014, Springer International Publishing AG
in English
331908917X 9783319089171
|
aaaa
Libraries near you:
WorldCat
|
|
2
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
2014, Springer London, Limited
in English
3319089188 9783319089188
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created October 5, 2021
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| December 8, 2022 | Edited by MARC Bot | import existing book |
| October 5, 2021 | Created by ImportBot | Imported from Better World Books record |