عنوان
پدید آورنده
موضوع
رده
QA 76.73 .L6 1992
QA
76
.
73
.
L6
1992
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
Terms of Availability and/or Price
خریداری
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic programming and Automated reasoning
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-verlag
Date of Publication, Distribution, etc.
1992
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
XIV,509P.:table
Other Physical Details
, 1905 , 2-1
NOTES PERTAINING TO BINDING AND AVAILABILITY
Text of Note
غیرمرجع
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic programming
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
73
Classification Record Number
.
L6
1992
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Logic programming and Automated reasoning
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Entry Element
edited by A.Voronkov
