عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0521432197
NATIONAL BIBLIOGRAPHY NUMBER
Number
b510584
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic programming :
General Material Designation
[Book]
Other Title Information
operational semantics and proof theory /
First Statement of Responsibility
James H. Andrews
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge :
Name of Publisher, Distributor, etc.
Cambridge University Press,
Date of Publication, Distribution, etc.
1992
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 104 p. :
Other Physical Details
ill. ;
Dimensions
26 cm
SERIES
Series Title
Distinguished dissertations in computer science
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. 89-94) and index
TOPICAL NAME USED AS SUBJECT
Logic programming
Programming languages (Electronic computers)-- Semantics
Proof theory
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/1
Edition
20
PERSONAL NAME - PRIMARY RESPONSIBILITY
Andrews, James H
ORIGINATING SOURCE
Date of Transaction
19930810131516.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
