This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...
اقرأ المزيدThis book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic ...
اقرأ المزيدThis volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, ...
اقرأ المزيدComputers arechanging the way wethink. Of course,nearly all desk-workers have access to computers and use them to email their ...
اقرأ المزيدThis volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
اقرأ المزيد