Publikation
Giorgi Goguadze
In: Jacques Carette; Lucas Dixon; Claudio Sacerdoti Coen; Stephen M. Watt (Hrsg.). Proceedings of MKM 2009 - 8th International Conference on Mathematical Knowledge Management. International Conference on Mathematical Knowledge Management (MKM-2009), July 10-12, Grand Bend, Ontario, Canada, Pages 294-309, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5625, Springer, 2009.