منطق محاسباتی: مجموعه مقالات هم اندیشی ، بروکسل ، 13/14 نوامبر ، 1990
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990
نویسنده: Robert A. Kowalski (auth.), John W. Lloyd (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1990
تعداد صفحات: 211 [220]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 15 مگابایت