عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9780273087182
(Number (ISBN
9781483258935
NATIONAL BIBLIOGRAPHY NUMBER
Number
b397248
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
A many-sorted calculus based on resolution and paramodulation
General Material Designation
[Book]
First Statement of Responsibility
Christoph Walther.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Los Altos, California :
Name of Publisher, Distributor, etc.
Morgan Kaufmann Publishers, Inc.,
Date of Publication, Distribution, etc.
1987.
SERIES
Series Title
Research Notes in Artificial Intelligence,
ISSN of Series
0268-7526
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references.
OTHER EDITION IN ANOTHER MEDIUM
Title
Many-sorted calculus based on resolution and paramodulation.
International Standard Serial Number
0268-7526
International Standard Book Number
9780273087182
TOPICAL NAME USED AS SUBJECT
Artificial intelligence.
Automatic theorem proving.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Walther, Christoph.
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
ScienceDirect (Online service).
ORIGINATING SOURCE
Date of Transaction
20171213084631.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
