عنوان
پدید آورنده
موضوع
رده
T 385 .A92 2015 E-Book ,
T
385
.
A92
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319213613
NATIONAL BIBLIOGRAPHY NUMBER
Number
13550
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated Deduction in Geometry
General Material Designation
[electronic resources]
Other Title Information
: 10th International Workshop, ADG 2014 Coimbra, Portugal, July 9–11, 2014 Revised Selected Papers
First Statement of Responsibility
\ Francisco Botana , Pedro Quaresma (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 181 p
Other Physical Details
:ill
SERIES
Series Title
Lecture Notes in Artificial Intelligence
Volume Designation
; 9201
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer graphics
Entry Element
گرافیک کامپیوتری
a03
a03
Geometry -- Data processing -- Congresses.
Automatic theorem proving -- Congresses.
هندسه -- داده پردازی -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
T
385
Book number
.
A92
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Botana, Francisco
Quaresma, Pedro
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Workshop on Automated Deduction in Geometry (10th : 2014 : Coimbra, Portugal)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170125
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319213613.pdf
p
BL
279177
1
a
N
