خرید و دانلود نسخه کامل کتاب Computational Logic ― CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings (Lecture Notes in Computer Science, 1861)

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

Computational Logic ― CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings (Lecture Notes in Computer Science, 1861)

نویسنده: John Lloyd (editor), Veronica Dahl (editor), Ulrich Furbach (editor), Manfred Kerber (editor), Kung-Kiu Lau (editor), Catuscia Palamidessi (editor), Luis M. Pereira (editor), Yehoshua Sagiv (editor), Peter J. Stuckey (editor)

ناشر: Springer

سال انتشار: 2000

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

زبان: English

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

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