Coverart for item
The Resource Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.), (electronic book)

Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.), (electronic book)

Label
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers
Title
Automated deduction in geometry
Title remainder
8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers
Statement of responsibility
Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.)
Title variation
ADG 2010
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
516.00285
Index
index present
LC call number
QA448.D38
LC item number
I58 2011
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
International Workshop on Automated Deduction in Geometry
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1963-
http://library.link/vocab/relatedWorkOrContributorName
  • Schreck, Pascal
  • Narboux, Julien
  • Richter-Gebert, Jürgen
Series statement
  • Lecture notes in artificial intelligence
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 7, Artificial intelligence
Series volume
6877
http://library.link/vocab/subjectName
  • Geometry
  • Automatic theorem proving
Label
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.), (electronic book)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR761692861
Dimensions
unknown
Extent
1 online resource (x, 258 p.)
File format
unknown
Form of item
online
Isbn
9783642250705
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
Label
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.), (electronic book)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR761692861
Dimensions
unknown
Extent
1 online resource (x, 258 p.)
File format
unknown
Form of item
online
Isbn
9783642250705
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...