عنوان
پدید آورنده
موضوع
رده
QA76.63 .D64 1994
QA76
.
63
.
D64
1994
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0262041421
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
From logic to logic programming /
General Material Designation
[Book]
First Statement of Responsibility
Kees Doets
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 214 pages :
Other Physical Details
illustrations ;
Dimensions
24 cm
SERIES
Series Title
Foundations of computing
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages [197]-199) and index
CONTENTS NOTE
Text of Note
Preliminaries -- Propositional logic -- First-order logic -- Program-definability -- Linear resolution -- Infinite derivations -- Computability -- Negation
1
TOPICAL NAME USED AS SUBJECT
Logic programming
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
63
Book number
.
D64
1994
PERSONAL NAME - PRIMARY RESPONSIBILITY
Doets, Kees
ORIGINATING SOURCE
Date of Transaction
19951101110649.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
