عنوان
پدید آورنده
موضوع
رده
QA76.63 .L735 2003
QA76
.
63
.
L735
2003
کتابخانه
محل استقرار
شابک
شابک
3540201017 (pbk.)
شماره کتابشناسی ملی
شماره
1513037
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Logic for programming artificial intelligence and reasoning :
ساير اطلاعات عنواني
10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /
نام نخستين پديدآور
Moshe Y. Vardi, Andrei Voronkov, eds.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2003.
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 436 p. :
ساير جزييات
ill. ;
ابعاد
24 cm.
فروست
عنوان فروست
Lecture notes in computer science ;
مشخصه جلد
2850. Lecture notes in artificial intelligence
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic programming
عنصر شناسه ای
Automatic theorem proving
تقسیم فرعی شکلی
Congresses.
تقسیم فرعی شکلی
Congresses.
رده بندی ديویی
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
63
نشانه اثر
.
L735
2003
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Vardi, Moshe Y.
عنصر شناسه اي
Voronkov, Andrei,
تاريخ
1959-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
LPAR (Conference)
شماره همايش ويا شماره بخشي از همايش
(10th :
تاريخ همايش
2003 :
محل همايش
Alma-Ata, Kazakhstan)
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. Library of Faculty of World Studies
تاريخ عمليات
20211121132531.0
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
UT_WST_LD_0001558_0001.pdf
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy0818/2003061048-d.html
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
278840
اطلاعات دسترسی رکورد
تكميل شده
Y
