عنوان
پدید آورنده
موضوع
رده
QA 155.7 .E4C23 2000
QA
155
.
7
.
E4C23
2000
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
EDITION STATEMENT
Statement of Responsibility Relating to Edition
2000 : St. Andrews, Scotland
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Natick, Mass.
Name of Publisher, Distributor, etc.
A K Peters
Date of Publication, Distribution, etc.
c2001
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 270 p.: ill., tables.
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 1568811454
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
edited by Manfred Kerber and Michael Kohlhase
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Data processing -- Congresses ، Algebra
Entry Element
Congresses ، Automatic theorem proving
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
155
.
7
.
E4C23
2000
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Kerber, Manfred, 1956-
AU Kohlhase, Michael, 1964-
TI
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
CALCULEMUS
