%0 Conference Paper %1 DBLP:conf/iccs/LeclereM08 %A Leclère, Michel %A Mugnier, Marie-Laure %B Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008) %D 2008 %E Eklund, Peter W. %E Haemmerlé, Ollivier %I Springer %K 2008 cg conceptual deduction graph iccs negation simple %P 119-132 %T An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation %V 5113 %@ 978-3-540-70595-6

@inproceedings{DBLP:conf/iccs/LeclereM08, added-at = {2008-08-06T15:25:31.000+0200}, author = {Lecl{\`e}re, Michel and Mugnier, Marie-Laure}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/28603ce421682c70ec7f96b002d81fef4/iccs}, booktitle = {Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008)}, crossref = {DBLP:conf/iccs/2008}, editor = {Eklund, Peter W. and Haemmerl{\'e}, Ollivier}, ee = {http://dx.doi.org/10.1007/978-3-540-70596-3_8}, interhash = {3b600a9bbcbd9b324a8e7f5c4930dbe7}, intrahash = {8603ce421682c70ec7f96b002d81fef4}, isbn = {978-3-540-70595-6}, keywords = {2008 cg conceptual deduction graph iccs negation simple}, pages = {119-132}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2008-08-07T09:35:33.000+0200}, title = {An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation}, volume = 5113, year = 2008 }