Canlyniadau Chwilio

Pynciau a Argymhellir O fewn eich chwiliad
  • Dangos 1 - 6 canlyniadau o 6
Mireinio'r Canlyniadau
  1. 1
    Delwedd Flaen

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

    Cyhoeddwyd 2001
    Livre

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  2. 2
    Delwedd Flaen

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

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

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  3. 3
    Delwedd Flaen

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

    Cyhoeddwyd yn Sciences et Avenir (2003)
    Numéro de revue thématique

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  4. 4
    Delwedd Flaen

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

    Cyhoeddwyd yn Pour la science (2011)
    Numéro de revue thématique

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  5. 5
    Delwedd Flaen

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

    Cyhoeddwyd yn Pour la science (2017)
    Numéro de revue thématique

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  6. 6
    Delwedd Flaen

    Automated theorem Proving : a logical basis gan Loweland, Donald

    Cyhoeddwyd 1978
    Livre

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:

Offerynnau Chwilio: