Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
| Materyal Türü: | Elektronik Ekitap |
|---|---|
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Association for Computing Machinery (ACM),
9/9/12
|
| Konular: | |
| Online Erişim: | Full text available on Research4Life (ACM) |
Benzer Materyaller
Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Proceedings of the Eleventh 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
Meta-Carto-Semiotics | meta-carto-semiotics
Proceedings of the Seventh International Workshop on Natural Language Generation
Proceedings of the Workshop on Grammar Engineering Across Frameworks
Key Theoretical Frameworks
Yazar:: Eble
Yazar:: Eble
A Framework for the Good
Yazar:: Kinghorn
Yazar:: Kinghorn
Markup Languages: Theory & Practice
Proceedings of the Sixth International Workshop on Domain-Specific Languages and High-Level Frameworks for HPC
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 seventh workshop on Domain-Specific Aspect Languages
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems
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
Scripture,logic,language : essays on dharmakirti and his tibetan successors /
Yazar:: Tillemans, Tom J. F.
Baskı/Yayın Bilgisi: (1999)
Yazar:: Tillemans, Tom J. F.
Baskı/Yayın Bilgisi: (1999)
Proceedings of the 2010 Roadmap for Digital Preservation Interoperability Framework Workshop
Proceedings of the Seventh International Natural Language Generation Conference
Logic
Yazar:: Sheehan
Yazar:: Sheehan
Proceedings of the 2011 international ACM workshop on Ubiquitous meta user interfaces
Meta-Psychology | LnuOpen
Proceedings of the 5th International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing
Proceedings of the seventh annual conference on Computational learning theory
Proceedings of the seventh annual ACM symposium on Theory of computing
Theory and Practice