عنوان
پدید آورنده
موضوع
رده
QA76.63 T635 1992
QA76
.
63
T635
1992
کتابخانه
محل استقرار
شابک
شابک
0387197427
شابک
3540197427
شابک
9780387197425
شابک
9783540197423
شماره کتابشناسی ملی
شماره
b565365
عنوان و نام پديدآور
عنوان اصلي
Logic program synthesis and transformation :
نام عام مواد
[Book]
ساير اطلاعات عنواني
proceedings of LOPSTR 91 ... Univ. of Manchester, 4-5 July 1991
نام نخستين پديدآور
T.P. Clement and K.-K. Lau, eds. ; Sponsored by the Association for Logic Programming and ALPUK.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London[etc]
نام ناشر، پخش کننده و غيره
Springer, cop.
تاریخ نشرو بخش و غیره
1992
مشخصات ظاهری
نام خاص و کميت اثر
x, 337 p. ; 25 cm.
فروست
عنوان فروست
Workshops in computing.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
LOPSTR 91.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Programación lógica -- Congresos.
موضوع مستند نشده
Programación lógica -- Congresos.
رده بندی کنگره
شماره رده
QA76
.
63
نشانه اثر
T635
1992
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
T.P. Clement and K.-K. Lau, eds. ; Sponsored by the Association for Logic Programming and ALPUK.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Kung-Kiu Lau
مستند نام اشخاص تاييد نشده
Timothy Paul Clement
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
