عنوان
پدید آورنده
موضوع
رده
QA 76.63 .L735 2005
QA
76
.
63
.
L735
2005
کتابخانه
محل استقرار
شابک
شابک
3-54025236-3
شماره کتابشناسی ملی
کد کشور
IR
شماره
45657
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Logic for programming, artificial intelligence, and reasoning
نام عام مواد
[Book]
ساير اطلاعات عنواني
:11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
نام نخستين پديدآور
/ Franz Baader, Andrei Voronkov (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin; New Y0rk
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, c2005
مشخصات ظاهری
نام خاص و کميت اثر
xi, 562 p.
ساير جزييات
:ill.
ابعاد
; 24 cm
يادداشت کلی
متن يادداشت
English
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic programming
موضوع مستند نشده
Automatic theorem proving
رده بندی کنگره
شماره رده
QA
76
.
63
نشانه اثر
.
L735
2005
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
LPAR International Conference (11th: 2004: Montevideo, Uruguay), producer
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Baader, Franz, editor
مستند نام اشخاص تاييد نشده
Voronkov, A, editor
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. Library of Technical Camp 2
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Old cataloging
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
