نتائج البحث

  • يعرض 1 - 6 نتائج من 6
تنقيح النتائج
  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
  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
  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
  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
  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
  6. 6

    Automated theorem Proving : a logical basis حسب Loweland, Donald

    منشور في 1978
    Livre