Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
| Natura: | Elettronico eBook |
|---|---|
| Lingua: | inglese |
| Pubblicazione: |
Association for Computing Machinery (ACM),
9/9/12
|
| Soggetti: | |
| Accesso online: | Full text available on Research4Life (ACM) |
Documenti analoghi
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
di: Eble
di: Eble
A Framework for the Good
di: Kinghorn
di: 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 /
di: Tillemans, Tom J. F.
Pubblicazione: (1999)
di: Tillemans, Tom J. F.
Pubblicazione: (1999)
Proceedings of the 2010 Roadmap for Digital Preservation Interoperability Framework Workshop
Proceedings of the Seventh International Natural Language Generation Conference
Logic
di: Sheehan
di: 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