• RecordNumber
    78225
  • Author

    International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria)

  • Title

    Automated deduction in geometry : 4th international workshop ...

  • Editor
    Franz Winkler (ed.)
  • Publication
    Springer
  • Publication Year
    c2004
  • Collation
    vi, 229 p. : ill
  • Series
    Lecture notes in computer science
  • Bibliography
    Includes bibliographies
  • Subject

    Geometry-Data processing-Congresses , Automatic theorem proving-Congresses , Logic, Symbolic and mathematical-Congresses

  • ADDED ENTRIES
    Winkler, Franz, 1955-, ed
  • Main Class
    516
  • Sub Class
    .00285
  • Cutter no
    I61a
  • Date
    2002
  • وارد كنندة اطلاعات
    zharfi^d2006/07/11 09:27:23
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=78225&Field=0&DTC=2