检索结果

在您的搜寻 主题建议
  • Résultat(s) 1 - 6 résultats de 6
Affiner les résultats
  1. 1
    封面图片

    Introduction à la logique : théorie de la démonstration : cours et exercices corrigés 由 David, René, 1948-, Nour, Karim, Raffalli, Christophe, Maître de conférences

    出版 2001
    Livre

    加到收藏夹
    Enregistré dans:
  2. 2
    封面图片

    Les Ordinateurs mathématiciens !. 由 Delahaye, Jean-Paul, 1952-...., mathématicien

    发表在 Bulletin de l'A.P.M.E.P. (2002)
    Numéro de revue thématique

    加到收藏夹
    Enregistré dans:
  3. 3
    封面图片

    Elémentaire, mon cher Poincaré : Un problème mathématique à un million de dollars. 由 Larousserie, David

    发表在 Sciences et Avenir (2003)
    Numéro de revue thématique

    加到收藏夹
    Enregistré dans:
  4. 4
    封面图片

    Du rêve à la réalité des preuves 由 Delahaye, Jean-Paul, 1952-...., mathématicien

    发表在 Pour la science (2011)
    Numéro de revue thématique

    加到收藏夹
    Enregistré dans:
  5. 5
    封面图片

    Paver le plan avec un pentagone convexe 由 Delahaye, Jean-Paul, 1952-...., mathématicien

    发表在 Pour la science (2017)
    Numéro de revue thématique

    加到收藏夹
    Enregistré dans:
  6. 6
    封面图片

    Automated theorem Proving : a logical basis 由 Loweland, Donald

    出版 1978
    Livre

    加到收藏夹
    Enregistré dans:

检索工具: