Výsledky vyhledávání

Doporučená témata ve výsledcích tohoto hledání:
  • Zobrazuji výsledky 1 - 6 z 6
Upřesnit hledání
  1. 1
    Obálka

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

    Vydáno 2001
    Livre

    Přidat do oblíbených
    Uloženo v:
  2. 2
    Obálka

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

    Vydáno v Bulletin de l'A.P.M.E.P. (2002)
    Numéro de revue thématique

    Přidat do oblíbených
    Uloženo v:
  3. 3
    Obálka

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

    Vydáno v Sciences et Avenir (2003)
    Numéro de revue thématique

    Přidat do oblíbených
    Uloženo v:
  4. 4
    Obálka

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

    Vydáno v Pour la science (2011)
    Numéro de revue thématique

    Přidat do oblíbených
    Uloženo v:
  5. 5
    Obálka

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

    Vydáno v Pour la science (2017)
    Numéro de revue thématique

    Přidat do oblíbených
    Uloženo v:
  6. 6
    Obálka

    Automated theorem Proving : a logical basis Autor Loweland, Donald

    Vydáno 1978
    Livre

    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: