Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
| フォーマット: | 電子媒体 eBook |
|---|---|
| 言語: | 英語 |
| 出版事項: |
Association for Computing Machinery (ACM),
6/23/16
|
| 主題: | |
| オンライン･アクセス: | Full text available on Research4Life (ACM) |
類似資料
Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
Theory and Practice of Logic Programming
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
Proceedings of the Eleventh European Workshop on Natural Language Generation
著者:: Busemann
著者:: Busemann
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Meta-Carto-Semiotics | meta-carto-semiotics
Proceedings of the Workshop on Grammar Engineering Across Frameworks
Key Theoretical Frameworks
著者:: Eble
著者:: Eble
A Framework for the Good
著者:: Kinghorn
著者:: Kinghorn
Markup Languages: Theory & Practice
Proceedings of the eleventh annual conference on Computational learning theory
Proceedings of the eleventh annual ACM symposium on Theory of computing
iMeta | Wiley
Journal of Logic, Language, and Information
Journal of Logic, Language and Information
Proceedings of the 2009 Workshop on Grammar Engineering Across Frameworks
Proceedings of the Sixth International Workshop on Domain-Specific Languages and High-Level Frameworks for HPC
Framework: The Journal of Cinema and Media
Framework: The Journal of Cinema and Media
Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
Eleventh Hour
著者:: Shafie
著者:: Shafie
Scripture,logic,language : essays on dharmakirti and his tibetan successors /
著者:: Tillemans, Tom J. F.
出版事項: (1999)
著者:: Tillemans, Tom J. F.
出版事項: (1999)
Proceedings of the 2010 Roadmap for Digital Preservation Interoperability Framework Workshop
Logic
著者:: Sheehan
著者:: Sheehan
Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop
Meta-Psychology | LnuOpen
Proceedings of the eleventh workshop on Parallel and distributed simulation
Proceedings of the Eleventh Workshop on Visualization for Cyber Security