Robert E. Kent. The First-Order Logical Environment. In Heather D. Pfeiffer, Dmitry I. Ignatov, Jonas Poelmans, Nagarjuna Gadiraju, editors, Conceptual Structures for STEM Research and Education, 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings. Volume 7735 of Lecture Notes in Computer Science, pages 210-230, Springer, 2013. [doi]
@inproceedings{Kent13,
title = {The First-Order Logical Environment},
author = {Robert E. Kent},
year = {2013},
doi = {10.1007/978-3-642-35786-2_15},
url = {http://dx.doi.org/10.1007/978-3-642-35786-2_15},
researchr = {https://researchr.org/publication/Kent13},
cites = {0},
citedby = {0},
pages = {210-230},
booktitle = {Conceptual Structures for STEM Research and Education, 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings},
editor = {Heather D. Pfeiffer and Dmitry I. Ignatov and Jonas Poelmans and Nagarjuna Gadiraju},
volume = {7735},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-35786-2},
}