J. Ke, T. Gong, и W. Wang. Int. J. Mod. Phys. C, (2007)Originally presented at the The 5th Conference on Language evolution, Leipzig, Germany, March 2004..
J. Ponte, и B. Croft. SIGIR '98: Proceedings of the 21st annual international ACM SIGIR conference on Research and development in information retrieval, стр. 275--281. New York, NY, USA, ACM Press, (1998)
U. Priss, и L. Old. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), том 4604 из Lecture Notes in Artificial Intelligence, стр. 310-320. Berlin, Heidelberg, Springer-Verlag, (июля 2007)
L. Zhang, и Y. Yu. Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), том 2120 из Lecture Notes in Computer Science, стр. 44-57. Springer, (2001)
J. Sarbo, и J. Farkas. Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), том 2120 из Lecture Notes in Computer Science, стр. 1-14. Springer, (2001)
S. Boytcheva, A. Strupchanska, и G. Angelova. Proceedings of the 10th International Conference on Conceptual Structures (ICCS 2002), том 2393 из Lecture Notes in Computer Science, стр. 137-150. Springer, (2002)
U. Priss, и L. Old. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), том 4604 из Lecture Notes in Artificial Intelligence, стр. 310-320. Berlin, Heidelberg, Springer-Verlag, (июля 2007)
G. Streeter, и A. Potter. Proceedings of the 12th International Conference on Conceptual Structures (ICCS 2004), том 3127 из Lecture Notes in Computer Science, стр. 361-374. Springer, (2004)
J. Sowa. Proceedings of the 12th International Conference on Conceptual Structures (ICCS 2004), том 3127 из Lecture Notes in Computer Science, стр. 31-51. Springer, (2004)
C. Jacquelinet. Proceedings of the 12th International Conference on Conceptual Structures (ICCS 2004), том 3127 из Lecture Notes in Computer Science, стр. 142-155. Springer, (2004)
N. Fuchs. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), том 3596 из Lecture Notes in Computer Science, стр. 51-51. Springer, (2005)
G. Angelova. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), том 3596 из Lecture Notes in Computer Science, стр. 367-380. Springer, (2005)
P. Hitzler, и M. Krötzsch. Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), том 4068 из Lecture Notes in Computer Science, стр. 260-273. Springer, (2006)
S. Caldeira, D. Coutinho, и G. Teixeira. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
A. Kalampokis, K. Kosmidis, и P. Argyrakis. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
M. Carey, D. DeWitt, и S. Vandenberg. Proceedings of the 13th Annual ACM Conference on
the Management of Data, стр. 413--423. Chicago, Illinois, (июня 1988)
K. Lochbaum, B. Grosz, и C. Sidner. Proceedings of the Eighth National Conference on Artificial Intelligence, стр. 485-490. Menlo Park, California, AAAI Press, (1990)
L. Wittgenstein. University Of Chicago Press, Chicago, (октября 1989)characterizes mathematical propositions: - Do not have a temporal sense (pp. 34). - Are rules of expression. "the connection between a mathematical proposition and its application is roughly that between a rule of expression and the expression itself in use" (pp. 47). A rule of expression defines what is meaningful and what not, how a particular form should be used, etc. - Is invented to suit experience and then made independent of experience (pp. 43). "In mathematics we have propositions which contain the same symbols as, for example, "write down the integral of..", etc., with the difference that when we have a mathemaitical proposition time doesn't enter into it and in the other it does. Now this is not a metaphisical statement." (pp 34).