Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications

Eitemau Tebyg

• Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
• Gap and density theorems.
  gan: Levinson, Norman
  Cyhoeddwyd: (1940)
• Proceedings of the Eighth Meeting of the ACL Special Interest Group on Computational Phonology and Morphology
• Proceedings of the ACL Student Research Workshop
• Proceedings of the Workshop on Coreference and its Applications
  gan: Bagga