Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1669)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: ADG 1998.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (14 papers)
Other volumes
-
Automated Deduction in Geometry
Keywords
About this book
Authors and Affiliations
Bibliographic Information
Book Title: Automated Deduction in Geometry
Book Subtitle: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Authors: Xiao-Shan Gao, Dongming Wang, Lu Yang
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-47997-X
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1999
Softcover ISBN: 978-3-540-66672-1Published: 13 October 1999
eBook ISBN: 978-3-540-47997-0Published: 26 June 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 292
Topics: Theory of Computation, Geometry, Artificial Intelligence, Mathematical Logic and Formal Languages, Computer Graphics, Image Processing and Computer Vision