Cover is for reference only

Automated deduction in geometry：6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers

Saved in:
Bibliographic Details
Corporate Authors: International Workshop on Automated Deduction in Geometry (6th 2006 Pontevedra, Spain); SpringerLink (Online service)
Group Author: (Tómas), 1949-; Botana Francisco.; Recio T.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2007.
Literature type: Book
Language: English
Series: LNCS sublibrary.. SL 7,, Artificial intelligenceArtificial intelligence ; 4869.
Subjects:
Logic, Symbolic and mathematical.
Electronic books.
Geometry > Data processing.
Automatic theorem proving
Online Access: http://dx.doi.org/10.1007/978-3-540-77356-6
Carrier Form: x, 211 p.: ill. ; 24 cm.
ISBN: 9783540773566 (electronic bk.)
3540773568 (electronic bk.)
Index Number: O18
CLC: O18-532
TP301.6-532
Contents: Includes bibliographical references and index.

Related Book Recommendations