Detailsuche

Grid  List

  1. MACHINE PROOFS IN GEOMETRY (V6)
    0 %
    MACHINE PROOFS IN GEOMETRY (V6)
    Jing-zhong Zhang
    World Scientific Publishing Company
    Ebook
    Sofort lieferbar

    This book reports recent major advances in automated reasoning in geometry. The authors have deve...

    Unser bisheriger Preis:ORGPRICE: 241,27 €

    Jetzt 219,98 €Ebook
    Alle Preise inkl. MwSt
  2. MATHEMATICAL SOFTWARE
    0 %
    MATHEMATICAL SOFTWARE
    Arjeh M Cohen
    World Scientific Publishing Company
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 300,94 €

    Jetzt 269,98 €Ebook
    Alle Preise inkl. MwSt
  3. COMPUTER MATHEMATICS (V8)
    0 %
    COMPUTER MATHEMATICS (V8)
    Xiaoshan Gao
    World Scientific Publishing Company
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 246,96 €

    Jetzt 219,98 €Ebook
    Alle Preise inkl. MwSt
  4. Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
    0 %
    Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
    Zhang Jing-zhong Zhang
    World Scientific Publishing Company
    Ebook
    Sofort lieferbar

    This book reports recent major advances in automated reasoning in geometry. The authors have deve...

    Unser bisheriger Preis:ORGPRICE: 62,53 €

    Jetzt 62,52 €Ebook
    Alle Preise inkl. MwSt
  5. Mathematical Software - Proceedings Of The First International Congress Of Mathematical Software
    0 %
    Mathematical Software - Proceedings Of The First International Congress Of Mathematical Software
    Cohen Arjeh M Cohen
    World Scientific Publishing Company
    Ebook
    Sofort lieferbar

    The advent of mathematical software has been one of the most important events in mathematics. Mat...

    Unser bisheriger Preis:ORGPRICE: 76,92 €

    Jetzt 76,91 €Ebook
    Alle Preise inkl. MwSt
  6. Computer Mathematics - Proceedings Of The Fourth Asian Symposium (Ascm 2000)
    0 %
    Computer Mathematics - Proceedings Of The Fourth Asian Symposium (Ascm 2000)
    Wang Dongming Wang
    World Scientific Publishing Company
    Ebook
    Sofort lieferbar

    This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathemat...

    Unser bisheriger Preis:ORGPRICE: 62,71 €

    Jetzt 62,70 €Ebook
    Alle Preise inkl. MwSt
  7. Computer Mathematics - Proceedings of the Fourth Asian Symposium (Ascm 2000)
    0 %
    Computer Mathematics - Proceedings of the Fourth Asian Symposium (Ascm 2000)
    Xiaoshan Gao
    World Scientific Publishing Company
    Buch
    Besorgungstitel - wird vorgemerkt

    This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathemat...

    Unser bisheriger Preis:ORGPRICE: 149,50 €

    Jetzt 149,49 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
    0 %
    Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
    Shang-Ching Chou
    World Scientific Publishing Company
    Buch
    Besorgungstitel - wird vorgemerkt

    This book reports recent major advances in automated reasoning in geometry. The authors have deve...

    Unser bisheriger Preis:ORGPRICE: 172,50 €

    Jetzt 172,48 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1