Хайлтын үр дүнгүүд

Таны хайлт доторх Санал болгосон сэдвүүд.
  • 6-н 1 - 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

    Жагсаалт руу хадгалах
    -д хадгалсан:

Хайх хэрэгслүүд: