Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
| Tác giả khác: | |
|---|---|
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Association for Computing Machinery (ACM),
9/8/17
|
| Những chủ đề: | |
| Truy cập trực tuyến: | Full text available on Research4Life (ACM) |
Những quyển sách tương tự
Proceedings of the Eleventh 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
Meta-Carto-Semiotics | meta-carto-semiotics
Proceedings of the Workshop on Grammar Engineering Across Frameworks
Key Theoretical Frameworks
Bằng: Eble
Bằng: Eble
A Framework for the Good
Bằng: Kinghorn
Bằng: Kinghorn
Markup Languages: Theory & Practice
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
Scripture,logic,language : essays on dharmakirti and his tibetan successors /
Bằng: Tillemans, Tom J. F.
Được phát hành: (1999)
Bằng: Tillemans, Tom J. F.
Được phát hành: (1999)
Proceedings of the 2010 Roadmap for Digital Preservation Interoperability Framework Workshop
Logic
Bằng: Sheehan
Bằng: Sheehan
Meta-Psychology | LnuOpen
Theory and Practice
Theory and practice.
Bằng: Habermas, Jurge n
Bằng: Habermas, Jurge n
A CONCEPTUAL FRAMEWORK AND ITS APPLICATION
Bằng: Clarke, Simon
Được phát hành: (2025)
Bằng: Clarke, Simon
Được phát hành: (2025)
K-12 Computer Science Framework
Bằng: K-12 Computer Science Framework Steering Committee
Bằng: K-12 Computer Science Framework Steering Committee
Modern Logic~The Review of Modern Logic