mehr als bücher

Grid  List

  1. Automated Deduction in Geometry
    Automated Deduction in Geometry
    Tetsuo Ida
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeProof and Computation in Geometry.- Automation of Geometry: Theorem Proving, Diagram...

    49,22 €*
  2. A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newtons Principia
    A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newtons Principia
    Jacques Fleuriot
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeIntroduction.- A Brief History of the Infinitesimal.- The Principia and its Methods....

    106,99 €*
  3. A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newtons Principia
    A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newtons Principia
    Jacques Fleuriot
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-st...

    106,99 €*
  4. Artificial Intelligence and Symbolic Computation
    Artificial Intelligence and Symbolic Computation
    Jacques Fleuriot
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    53,49 €*
  1. 1