عنوان
پدید آورنده
موضوع
رده
QA76.63 .D64 1994
QA76
.
63
.
D64
1994
کتابخانه
محل استقرار
شابک
شابک
0262041421
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
From logic to logic programming /
نام عام مواد
[Book]
نام نخستين پديدآور
Kees Doets
مشخصات ظاهری
نام خاص و کميت اثر
xii, 214 pages :
ساير جزييات
illustrations ;
ابعاد
24 cm
فروست
عنوان فروست
Foundations of computing
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages [197]-199) and index
یادداشتهای مربوط به مندرجات
متن يادداشت
Preliminaries -- Propositional logic -- First-order logic -- Program-definability -- Linear resolution -- Infinite derivations -- Computability -- Negation
بدون عنوان
1
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic programming
رده بندی کنگره
شماره رده
QA76
.
63
نشانه اثر
.
D64
1994
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Doets, Kees
مبدا اصلی
تاريخ عمليات
19951101110649.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
