عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 I57 1998
QA
76
.
9
.
A96
I57
1998
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
20956
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated deduction, Cade-15: 15th International Conference on Automated Deduction,Lindau, Germany, July 5-10, 1998: proceedings
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
c1998
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 441p. : ill
SERIES
Series Title
Lecture notes in artificial intelligence; 1241
Series Title
Lecture notes in computer science
GENERAL NOTES
Text of Note
Includes bibliographical references and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Claude Kirchner, Helene Kirchner, ]editors[
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Automatic theorem proving
Entry Element
Congresses ، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
.
A96
I57
1998
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Kirchner, Claude
AU Kirchner, Helene
TI
SE
SE Lecture notes in computer science
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
International Conference on Automated Deduction, )15th: 1998, Lindau, Germany.(
LOCATION AND CALL NUMBER
Call Number Suffix
CL
