H. M. Semarne. Symbolic logic in language engineering. In R. M. Bennett, editor, Papers presented at the 1960 western joint IRE-AIEE-ACM computer conference, IRE-AIEE-ACM 1960 (Western), San Francisco, California, USA, May 3-5, 1960. pages 61-71, ACM, 1960. [doi]
@inproceedings{Semarne60,
title = {Symbolic logic in language engineering},
author = {H. M. Semarne},
year = {1960},
doi = {10.1145/1460361.1460369},
url = {https://doi.org/10.1145/1460361.1460369},
researchr = {https://researchr.org/publication/Semarne60},
cites = {0},
citedby = {0},
pages = {61-71},
booktitle = {Papers presented at the 1960 western joint IRE-AIEE-ACM computer conference, IRE-AIEE-ACM 1960 (Western), San Francisco, California, USA, May 3-5, 1960},
editor = {R. M. Bennett},
publisher = {ACM},
isbn = {978-1-4503-7869-7},
}