%0 Conference Paper %1 DBLP:conf/iccs/Kent13 %A Kent, Robert E. %B Proceedings of the 21th International Conference on Conceptual Structures (ICCS 2013) %D 2013 %E Pfeiffer, Heather D. %E Ignatov, Dmitry I. %E Poelmans, Jonas %E Gadiraju, Nagarjuna %I Springer %K 2013 first fol iccs logic order %P 210-230 %T The First-Order Logical Environment %V 7735 %@ 978-3-642-35785-5, 978-3-642-35786-2

@inproceedings{DBLP:conf/iccs/Kent13, added-at = {2013-02-26T08:42:00.000+0100}, author = {Kent, Robert E.}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/25de33ff3f40a2ec5a9f30523637fbfc6/iccs}, booktitle = {Proceedings of the 21th International Conference on Conceptual Structures (ICCS 2013)}, crossref = {DBLP:conf/iccs/2013}, editor = {Pfeiffer, Heather D. and Ignatov, Dmitry I. and Poelmans, Jonas and Gadiraju, Nagarjuna}, ee = {http://dx.doi.org/10.1007/978-3-642-35786-2_15}, interhash = {3e2aafe349a5b54d8bf8cb4f16db962a}, intrahash = {5de33ff3f40a2ec5a9f30523637fbfc6}, isbn = {978-3-642-35785-5, 978-3-642-35786-2}, keywords = {2013 first fol iccs logic order}, pages = {210-230}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2013-02-26T08:42:03.000+0100}, title = {The First-Order Logical Environment}, volume = 7735, year = 2013 }