|
" From logic to logic programming / "
Kees Doets
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
626198
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
Doets, Kees
|
| Title & Author
|
:
|
From logic to logic programming /\ Kees Doets
|
| Series Statement
|
:
|
Foundations of computing
|
| Page. NO
|
:
|
xii, 214 pages :: illustrations ;; 24 cm
|
| ISBN
|
:
|
0262041421
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (pages [197]-199) and index
|
| Contents
|
:
|
Preliminaries -- Propositional logic -- First-order logic -- Program-definability -- Linear resolution -- Infinite derivations -- Computability -- Negation
|
| Subject
|
:
|
Logic programming
|
| LC Classification
|
:
|
QA76.63.D64 1994
|
| |