عنوان
پدید آورنده
موضوع
رده
QA448 .D38I577 1997
QA448
.
D38I577
1997
کتابخانه
محل استقرار
استان: East Azarbaijan ـ شهر: Tabriz
INTERNATIONAL STANDARD BOOK NUMBER
Qualification
(V.1)
(Number (ISBN
3-540-64297-8
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
80-21
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated deduction in geometry:
General Material Designation
[Book]
Other Title Information
:Toulouse, France, September 27-29, 1996 selected papers
Subsequent Statement of Responsibility
/ Dongming Wang ed
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 1997.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
234P.
Other Physical Details
: ill.
Dimensions
; 24cm
SERIES
Series Title
(Lecture notes in computer science, 1360 lecture note in computer science. lecture notes in artificial intelligence)
GENERAL NOTES
Text of Note
Language: انگلیسی
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Geometry - Data processing - Congresses
Automatic theorem proving - Congresses
Logic, Symbolic and mathematical - Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA448
Book number
.
D38I577
1997
PERSONAL NAME - SECONDARY RESPONSIBILITY
Wang, Dongming
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International workshop on Automated Deducation in Geometry (Ist:1996: Toulouse, France)
ORIGINATING SOURCE
Country
ایران
old catalog
p
BL
1
a
Y
