خرید و دانلود نسخه کامل کتاب Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

منطق محاسباتی - CL 2000: اولین کنفرانس بین المللی لندن، انگلستان، 24 تا 28 ژوئیه، 2000 مجموعه مقالات

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

نویسنده: John Alan Robinson (auth.), John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2000

تعداد صفحات: 1398

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 18 مگابایت