عنوان
پدید آورنده
موضوع
رده
QA 448 .D38 I577 2004
QA
448
.
D38
I577
2004
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
421660
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ; New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
c2006
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 211 p. : ill
SERIES
Series Title
Lecture notes in computer science. Lecture notes in artificial intelligence
GENERAL NOTES
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Geometry - Data processing
Entry Element
Congresses ، Automatic theorem proving
Entry Element
Congresses ، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
448
.
D38
I577
2004
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Hoon Hong, Dongming Wang )eds.(
AU nooH ,gnoH
AU gnimgnoD ,gnaW
TI
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
International Workshop on Automated Deduction in Geometry)5th :2004 :Gainesville, Fla.(
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
1
