logie
برنامه نویسی منطقی: اولین کنفرانس روسیه در برنامه نویسی منطقی ایرکوتسک، روسیه، 14 تا 18 سپتامبر 1990 دومین کنفرانس روسیه در مورد برنامه نویسی منطقی سن پترزبورگ، روسیه، 11 تا 16 سپتامبر 1991 مجموعه مقالات
دانلود کتاب Logic Programming: First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings (به فارسی: برنامه نویسی منطقی: اولین کنفرانس روسیه در برنامه نویسی منطقی ایرکوتسک، روسیه، 14 تا 18 سپتامبر 1990 دومین کنفرانس روسیه در مورد برنامه نویسی منطقی سن پترزبورگ، روسیه، 11 تا 16 سپتامبر 1991 مجموعه مقالات) نوشته شده توسط «Yves Bekkers – Lucien Ungaro (auth.) – A. Voronkov (eds.)» اطلاعات کتاب برنامه نویسی منطقی: اولین کنفرانس روسیه در برنامه نویسی منطقی ایرکوتسک، روسیه، 14 تا 18 سپتامبر 1990 دومین کنفرانس روسیه…
کتاب راهنمای منطق در هوش مصنوعی و برنامه نویسی منطقی. جلد 5: برنامه نویسی منطقی
دانلود کتاب Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 5: Logic Programming (به فارسی: کتاب راهنمای منطق در هوش مصنوعی و برنامه نویسی منطقی. جلد 5: برنامه نویسی منطقی) نوشته شده توسط «Gabbay D.M. – Hogger C.J. – Robinson J.A. (eds.)» اطلاعات کتاب کتاب راهنمای منطق در هوش مصنوعی و برنامه نویسی منطقی. جلد 5: برنامه نویسی منطقی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Clarendon Press نویسنده: Gabbay D.M. – Hogger C.J. – Robinson J.A. (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1998 تعداد صفحه: 815 حجم کتاب: 10…
منطق، منطق و منطق
دانلود کتاب Logic, Logic, and Logic (به فارسی: منطق، منطق و منطق) نوشته شده توسط «Boolos G.S.» اطلاعات کتاب منطق، منطق و منطق موضوع اصلی: فلسفه نوع: کتاب الکترونیکی نویسنده: Boolos G.S. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1998 تعداد صفحه: 226 حجم کتاب: 7 مگابایت توضیحات کتاب منطق، منطق و منطق جرج بولوس یکی از برجسته‌ترین و تأثیرگذارترین منطق‌دانان-فیلسوفان دوران اخیر بود. این مجموعه، که تقریباً همگی توسط خود بولوس، اندکی قبل از مرگش انتخاب شد، شامل سی مقاله در مورد نظریه مجموعه‌ها، منطق مرتبه دوم و کمیت‌کننده‌های جمع است. درباره فرگه،…
منطق، منطق و منطق
دانلود کتاب Logic, logic, and logic (به فارسی: منطق، منطق و منطق) نوشته شده توسط «George Boolos – John P. Burgess – Richard Jeffrey» اطلاعات کتاب منطق، منطق و منطق موضوع اصلی: فلسفه نوع: کتاب الکترونیکی ناشر: Harvard University Press نویسنده: George Boolos – John P. Burgess – Richard Jeffrey زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1998 تعداد صفحه: 451 حجم کتاب: 8 مگابایت کد کتاب: 067453767X , 9780674537675 , 0674537661 توضیحات کتاب منطق، منطق و منطق جرج بولوس یکی از برجسته‌ترین و تأثیرگذارترین منطق‌دانان-فیلسوفان دوران اخیر بود. این مجموعه که تقریباً همگی…