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

Podobne zapisy

• Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
• Gap and density theorems.
  od: Levinson, Norman
  Wydane: (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
  od: Bagga