نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
Based Program Synthesis and Transformation :-Logic
پدید آورنده
موضوع
Logic programming ; Congresses. ;
رده
کتابخانه
كتابخانه مركزی و مركز اسناد دانشگاه مازندران
محل استقرار
استان:
مازندران
ـ شهر:
بابلسر
تماس با کتابخانه :
62
-
35302861
-
011
شماره کتابشناسی ملی
شماره
ebl202215016
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
eng
عنوان و نام پديدآور
عنوان اصلي
Based Program Synthesis and Transformation :-Logic
ساير اطلاعات عنواني
:10, 2019, Revised selected papers /-29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
, 2020.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic programming ; Congresses. ;
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Gabbrielli, Maurizio. ;
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد