عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96C654 1990
QA
76
.
9
.
A96C654
1990
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
123101
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Computational logic
نام عام مواد
[Book]
ساير اطلاعات عنواني
:symposium proceedings Brussels November 13/4 1990
نام نخستين پديدآور
/ J .W .Lloyd ( ed )
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, New York
نام ناشر، پخش کننده و غيره
: Springer - Verlag
تاریخ نشرو بخش و غیره
, 1990
مشخصات ظاهری
نام خاص و کميت اثر
ix ,211 p .
ساير جزييات
: ill . ;25 cm
فروست
عنوان فروست
ESPRIT basic research series
يادداشت کلی
متن يادداشت
انگليسي
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Automatic theorem proving --Congresses
موضوع مستند نشده
Logic, Symbolic and mathematical -- Congresses
رده بندی کنگره
شماره رده
QA
76
.
9
نشانه اثر
.
A96C654
1990
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Lloyd
ساير عناصر نام
,J .W ( John Wylie )
تاريخ
, 1947 -
مبدا اصلی
کشور
Iran
سازمان
Central Library Of Tehran University
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Old cataloging
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
