عنوان
پدید آورنده
موضوع
رده
005 .115 I61L 2005
005
.
115
I61L
2005
کتابخانه
محل استقرار
شماره کتابشناسی ملی
شماره
262205
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings
نام عام مواد
[book]
نام نخستين پديدآور
/ Geoff Sutcliffe, Andrei Voronkov (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin York
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
، 2005
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 744 p.
ساير جزييات
: tables, charts
فروست
عنوان فروست
Lecture notes in computer science
ساير اطلاعات عنواني
: 3835
يادداشت کلی
متن يادداشت
Includes bibliographical references and indexes
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic programming
عنصر شناسه ای
Automatic theorem proving
عنصر شناسه ای
Artificial intelligence
تقسیم فرعی موضوعی
-- Congresses
تقسیم فرعی موضوعی
-- Congresses
تقسیم فرعی موضوعی
-- Congresses
رده بندی ديویی
شماره
005
.
115
I61L
2005
رده بندی کنگره
شماره رده
QA76
.
63
.
L735
2005b
نام شخص - (مسئولیت معنوی برابر )
عنصر شناسه اي
Sutcliffe, Geoff
عنصر شناسه اي
Voronkov, Andrei
عنصر شناسه اي
1959-
تاريخ
، 1959-
کد نقش
creator
کد نقش
creator
شناسه افزوده (تنالگان)
عنصر شناسه اي
International conference LPAR
تقسيم فرعي
author
مبدا اصلی
کشور
ایران
شماره دستیابی
شماره بازیابی
QA76.63 .L735 2005b
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Previous cataloging
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
