دانلود کتاب Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings
by Amy Felty
|
عنوان فارسی: منطق برنامه نویسی و خودکار استدلال: 5 کنفرانس بین المللی LPAR سال 94 کیف, اوکراین, جولای 16-22, 1994 رسیدگی |