نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۰,۹۷ ثانیه یافت شد.
1. Logic for problem solving
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کتابخانه ها)
پدیدآورنده :
/ [by] Robert Kowalski
کتابخانه:
كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی
(
تهران
)
موضوع :
رده :
QA63
،.
K68
1979
2. 5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کتابخانه ها)
پدیدآورنده :
edited by Wolfgang Bibel, Robert Kowalski.
کتابخانه:
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
(
قم
)
موضوع :
Computer Science,Computer science.,Mathematical Logic and Formal Languages
رده :
»
1
«
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد