عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96,I57 1986
QA
76
.
9
.
A96
,
I57
1986
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
Terms of Availability and/or Price
خریداری
NATIONAL BIBLIOGRAPHY NUMBER
Number
02BL9961
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
8th International Conference on Automated Deduction
First Statement of Responsibility
edited by Jپ rg H. Siekmann
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1986
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 708 p. : ill. ; 25 cm
SERIES
Series Title
Lecture notes in computer science ; 230
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Oxford, England, July 27-August 1, 1986 : proceedings
NOTES PERTAINING TO BINDING AND AVAILABILITY
Text of Note
غیرمرجع
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographies.
TOPICAL NAME USED AS SUBJECT
Entry Element
Automatic theorem proving -- Congresses
Entry Element
Logic, Symbolic and mathematical -- Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
9
Classification Record Number
.
A96
,
I57
1986
PERSONAL NAME - SECONDARY RESPONSIBILITY
Relator Code
AU
Relator Code
AU
Entry Element
Siekmann, Jپ rg H
Entry Element
Title: Eighth International Conference on Automated Deduction
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Location of Meeting
International Conference on Automated Deduction )8th : 1986 : Oxford, England(
