• RecordNumber
    18257
  • LC Class
    QA
  • LC Number
    448
  • LC CutterNumber
    .D38,W8
  • Dewey Class
    516
  • Dewey Number
    /.001
  • Dewey Date
    /5113
  • Author

    Wu, Wen-tsun

  • Title

    Mechanical theorem proving in geometries

  • Author Statement
    Wen-tsun Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang
  • Publication
    Springer-Verlag
  • Publication Year
    1994
  • Collation
    xvi, 288 p.: illus.; 25 cm
  • Series
    Texts and monographs in symbolic computation, 0943-853X
  • Subject

    Geometry- Data processing,Automatic theorem proving

  • Holding Info.
    3211825061
  • DocumentNumber
    33510
  • SubTitle
    : basic principles
  • Biblography
    Includes bibliographical references and index
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=18257&Field=0&DTC=100