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]
No references recorded for this publication.
No citations of this publication recorded.