دهمین همایش بین المللی کسر خودکار: کایزرسلاترن، FRG، 24 – 27 ژوئیه 1990 مجموعه مقالات 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

• نوع فایل : کتاب
• زبان : انگلیسی
• نویسنده : Robert S. Boyer ,J Strother Moore (auth.) ,Mark E. Stickel (eds.)
• ناشر : Springer-Verlag Berlin Heidelberg
• چاپ و سال / کشور: 1990
• شابک / ISBN : 9783540528852, 3540528857