Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Bibliografiske detaljer
Andre forfattere: Miculan
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Association for Computing Machinery (ACM), 9/8/17
Fag:
Online adgang:Full text available on Research4Life (ACM)

Lignende værker