Search Results

Suggested Topics within your search.
  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Cover Image

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

    Published 2001
    Livre

    Save to List
    Saved in:
  2. 2
    Cover Image

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

    Published in Bulletin de l'A.P.M.E.P. (2002)
    Numéro de revue thématique

    Save to List
    Saved in:
  3. 3
    Cover Image

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

    Published in Sciences et Avenir (2003)
    Numéro de revue thématique

    Save to List
    Saved in:
  4. 4
    Cover Image

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

    Published in Pour la science (2011)
    Numéro de revue thématique

    Save to List
    Saved in:
  5. 5
    Cover Image

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

    Published in Pour la science (2017)
    Numéro de revue thématique

    Save to List
    Saved in:
  6. 6
    Cover Image

    Automated theorem Proving : a logical basis by Loweland, Donald

    Published 1978
    Livre

    Save to List
    Saved in:

Search Tools: