عنوان
پدید آورنده
موضوع
رده
QA448.D38 I58 2012
QA448
.
D38
I58
2012
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642406726 (electronic bk.)
(Number (ISBN
9783642406720 (electronic bk.)
Erroneous ISBN
9783642406713
NATIONAL BIBLIOGRAPHY NUMBER
Number
b435144
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated deduction in geometry :
General Material Designation
[Book]
Other Title Information
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers /
First Statement of Responsibility
Tetsuo Ida, Jacques Fleuriot (eds.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 193 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in artificial intelligence ;
Series Title
LNCS sublibrary. SL 7, Artificial intelligence
Volume Designation
7993
GENERAL NOTES
Text of Note
Includes author index
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
ADG 2012
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving, Congresses
Geometry-- Data processing, Congresses
(SUBJECT CATEGORY (Provisional
COM004000
TJFM1
UYQ
DEWEY DECIMAL CLASSIFICATION
Number
516
.
00285
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA448
.
D38
Book number
I58
2012
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Fleuriot, Jacques,1972-
Ida, Tetsuo
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Workshop on Automated Deduction in Geometry(9th :2012 :, Edinburgh, Scotland)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network
ORIGINATING SOURCE
Date of Transaction
20140326083903.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
