Showing 1 - 3 results of 3 for search 'Gao, Xiao-Shan', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /

    Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /

    Published 2002
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  2. 2
    Proceedings of the 2005 international symposium on Symbolic and algebraic computation

    Proceedings of the 2005 international symposium on Symbolic and algebraic computation by Gao, Xiao-Shan

    Published 2005
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    Machine proofs in geometry automated production of readable proofs for geometry theorems

    Machine proofs in geometry automated production of readable proofs for geometry theorems by Chou, Shang-Ching, Gao, Xiao-Shan 1963-, Zhang, Jingzhong

    Published 1994
    Indexes
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: