Natural Language Inference in Coq
- 期刊名称Journal of Logic, Language and Information
- 作者Chatzikyriakidis, Stergios; Luo, Zhaohui
- 卷第23卷
- 期第4期
- 印刷ISSN0925-8531
- 电子ISSN1572-9583
- 文件大小390.68KB
- 发表时间2014-12
- DOI10.1007/s10849-014-9208-x
- 页码441-480
Handbook of Practical BacteriologyLawler, F. C. · American Journal of Public Health and the Nations Health · 1949
Occupation and HealthTurner, C. E. · American Journal of Public Health and the Nations Health · 1931
The Disease of OccupationsFelton, J. S. · American Journal of Public Health and the Nations Health · 1956
Advances in Cancer ResearchSnegireff, Leonid S. · American Journal of Public Health and the Nations Health · 1954
SANITATION OF WATERWAYSAmerican Journal of Public Health and the Nations Health · 1928
Personal HealthTurner, C. E. · American Journal of Public Health and the Nations Health · 1928
The Principles of SanitationHiscock, Ira V. · American Journal of Public Health and the Nations Health · 1928
LABORATORYYoung, C. C.; Buck, T. C. · American Journal of Public Health and the Nations Health · 1928