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

図書

巻号情報

No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • AB
  • 23
  • 1360

0025993

一般

詳細情報

刊年

1998

形態

234 p. : ill. ; 24 cm

シリーズ名

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

注記

Includes bibliographical references and index

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Wang, Dongming

ISBN

3540642978

NCID

BA35405476