Publications

AuthID
P-002-W80

Author(s)

Editor(s)

Schreck, P; Narboux, J; RichterGebert, J

Document Type

Proceedings Paper

Year published

2011

Published

in AUTOMATED DEDUCTION IN GEOMETRY in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743

Volume: 6877, Pages: 169-181 (13)

Conference

8Th International Workshop on Automated Deduction in Geometry, Date: JUL 22-24, 2010, Location: Munich, GERMANY, Host: Tech Univ Munchen

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-642-25070-5_10

SCOPUS: 2-s2.0-81755166824

Wos: WOS:000306300700010

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links