๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Efficient and flexible matching of recursive types

โœ Scribed by Palsberg, J.; Tian Zhao,


Book ID
124099666
Publisher
IEEE Comput. Soc
Year
2000
Tongue
English
Weight
448 KB
Edition
2000, 15th Annual ed.
Category
Article
ISBN-13
9780769507255

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES