[Lecture Notes in Computer Science] λ-Calculus and Computer Science Theory Volume 37 || On solvability by λI-terms
- 作者Böhm, C.
- 文件大小139.50KB
- 发表时间1975
- DOI10.1007/BFb0029536
- 页码342-345
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