✦ LIBER ✦
[Lecture Notes in Computer Science] STACS 87 Volume 247 || An interactive, incremental and portable computer algebra system for λ-calculus and combinatory logic based on video edition and rewriting techniques
✍ Scribed by Brandenburg, Franz J.; Vidal-Naquet, Guy; Wirsing, Martin
- Book ID
- 115499704
- Publisher
- Springer-Verlag
- Year
- 1987
- Tongue
- German
- Weight
- 63 KB
- Edition
- 1987
- Category
- Article
- ISBN-13
- 9783540172192
No coin nor oath required. For personal study only.