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 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 resource)

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
Provider
Subject
Genre
Language
eng
Summary
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants
Member of
Cataloging source
GW5XE
Image bit depth
0
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
http://library.link/vocab/relatedWorkOrContributorDate
1963-
http://library.link/vocab/relatedWorkOrContributorName
  • SpringerLink
  • Schreck, Pascal
  • Narboux, Julien
  • Richter-Gebert, Jürgen
Series statement
Lecture Notes in Computer Science,
Series volume
6877
http://library.link/vocab/subjectName
  • Geometry
  • Automatic theorem proving
  • Automatic theorem proving
  • Geometry
  • Informatique
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 resource)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and author index
Color
not applicable
Dimensions
unknown
Extent
1 online resource (x, 258 p.)
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642250705
Level of compression
uncompressed
Other control number
10.1007/978-3-642-25070-5
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)761692861
  • (OCoLC)ocn761692861
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 resource)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and author index
Color
not applicable
Dimensions
unknown
Extent
1 online resource (x, 258 p.)
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642250705
Level of compression
uncompressed
Other control number
10.1007/978-3-642-25070-5
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)761692861
  • (OCoLC)ocn761692861

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...