Tags
Language
Tags
<<
June 2025
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 1 2 3 4 5
    Attention❗ To save your time, in order to download anything on this site, you must be registered 👉 HERE. If you do not have a registration yet, it is better to do it right away. ✌

    ( • )( • ) ( ͡⚆ ͜ʖ ͡⚆ ) (‿ˠ‿)
    SpicyMags.xyz
    1. Home
    2. eBooks & eLearning
    3. Towards Mechanized Mathematical Assistants (Repost)

    Towards Mechanized Mathematical Assistants (Repost)

    Posted By: step778
    Date: 22 Aug 2018 06:41:55
    Towards Mechanized Mathematical Assistants (Repost)

    Manuel Kauers, Manfred Kerber, Robert Miner, "Towards Mechanized Mathematical Assistants"
    2007 | pages: 410 | ISBN: 3540730834 | PDF | 4,4 mb

    This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation.

    My Link
    UPWARDS