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

Những quyển sách tương tự

• Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
• Gap and density theorems.
  Bằng: Levinson, Norman
  Được phát hành: (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
  Bằng: Bagga