Dyfyniad APA

Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice. Association for Computing Machinery (ACM).

Dyfyniad Arddull Chicago

Proceedings of the Seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice. Association for Computing Machinery (ACM).

Dyfyniad MLA

Proceedings of the Seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice. Association for Computing Machinery (ACM).

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.