Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, selected papers

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, selected papers

Dongming Wang, ed

Berlin ; New York : Springer, c1997

Book

Volume No.

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • AB
  • 23
  • 1360

0025993

Regular

Details

Publication year

1998

Form

234 p. : ill. ; 24 cm

Series title

Lecture notes in computer science ; 1360 [Lecture notes in artificial intelligence]

Note

Includes bibliographical references and index

Country of publication

Germany

Title language

English (eng)

Language of texts

English (eng)

Author information

Wang, Dongming

ISBN

3540642978

NCID

BA35405476