عنوان
پدید آورنده
موضوع
رده
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
