Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery (ACM).
Cita Chicago (17th ed.)Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery (ACM).
Cita MLA (8th ed.)Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery (ACM).
Atenció: Aquestes cites poden no estar 100% correctes.