عنوان
پدید آورنده
موضوع
رده
QA 76.63 .L63294 1995
QA
76
.
63
.
L63294
1995
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
O1
عنوان و نام پديدآور
عنوان اصلي
Logic programming : formal methods and practical applications
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam
نام ناشر، پخش کننده و غيره
Elsevier
تاریخ نشرو بخش و غیره
1995
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 404 p. : ill
فروست
عنوان فروست
Studies in computer science and artificial intelligence, 11
يادداشت کلی
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic programming
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
63
شماره رکورد رده بندي
.
L63294
شماره رکورد غير از شماره رده بندي
1995
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
edited by Christoph Beierle, Lutz Plumer
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
English
