Kết quả tìm kiếm

Chủ đề được đề xuất trong tìm kiếm của bạn.
  • Đang hiển thị 1 - 6 kết quả của 6
Tinh chỉnh kết quả
  1. 1
    Ảnh bìa

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

    Được phát hành 2001
    Livre

    Lưu vào danh sách
    Đã lưu trong:
  2. 2
    Ảnh bìa

    Les Ordinateurs mathématiciens !. Bằng Delahaye, Jean-Paul, 1952-...., mathématicien

    Xuất bản năm Bulletin de l'A.P.M.E.P. (2002)
    Numéro de revue thématique

    Lưu vào danh sách
    Đã lưu trong:
  3. 3
    Ảnh bìa

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

    Xuất bản năm Sciences et Avenir (2003)
    Numéro de revue thématique

    Lưu vào danh sách
    Đã lưu trong:
  4. 4
    Ảnh bìa

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

    Xuất bản năm Pour la science (2011)
    Numéro de revue thématique

    Lưu vào danh sách
    Đã lưu trong:
  5. 5
    Ảnh bìa

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

    Xuất bản năm Pour la science (2017)
    Numéro de revue thématique

    Lưu vào danh sách
    Đã lưu trong:
  6. 6
    Ảnh bìa

    Automated theorem Proving : a logical basis Bằng Loweland, Donald

    Được phát hành 1978
    Livre

    Lưu vào danh sách
    Đã lưu trong:

Công cụ tìm kiếm: