عنوان
پدید آورنده
موضوع
رده
QA 9.59 .F58 1986
QA
9
.
59
.
F58
1986
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
8703
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Compability theory, Semantics, and logic programming
نام عام مواد
[Book]
نام نخستين پديدآور
/ Melvin C. Fitting
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
n.d
فروست
عنوان فروست
Oxford Logic Guide
مشخصه جلد
; 13
يادداشت کلی
متن يادداشت
English
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computable functions
موضوع مستند نشده
Data structures (computer science)
رده بندی کنگره
شماره رده
QA
9
.
59
نشانه اثر
.
F58
1986
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Fitting, Melvin C., author
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. Library of Technical Camp 2
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Old cataloging
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
