ترجمه فارسی توضیحات (ترجمه ماشینی)
کسر خودکار – CADE-14: چهاردهمین کنفرانس بین المللی کسر خودکار، تاونزویل، کوئینزلند شمالی، استرالیا، 13 تا 17 ژوئیه، 1997، مجموعه مقالات
مجموعه مقالات چهاردهمین کنفرانس بین المللی کسر خودکار، برگزار شده در تاونزویل، استرالیا، در ژوئیه 1997. مقاله.
Automated Deduction – CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 – 17, 1997, Proceedings
Proceedings of the 14th International Conference on Automated Deduction, held in Townsville, Australia, in July 1997. Paper.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.