Catalogue en ligne HELHa - Campus Mons<br> Centre de Documentation

Centre de Documentation du Campus Mons

Le centre de documentation vous accueille du lundi au jeudi de 8 h à 18 h et le vendredi de 8 h à 13 h30. A bientôt !

Bienvenue sur le catalogue du centre de documentation du Campus Mons
HELHa - Artistique - Économique - Pédagogique - Social - Technique

Nouvelle recherche

Votre compte

Catégories

> Assistants de preuve

Assistants de preuve

Ajouter le résultat dans votre panier Affiner la recherche

Les mathématiciens face au défi des machines / Harris, Michael in Pour la science, 535 (Mai 2022)

Public

ISBD

[article]
inPour la science > 535 (Mai 2022) . - p. 26 - 34
Titre : Les mathématiciens face au défi des machines
Type de document : texte imprimé
Auteurs : Harris, Michael
Année de publication : 2022
Article en page(s) : p. 26 - 34
Langues : Français (fre)
Catégories : Assistants de preuve
Théorèmes -- Démonstration automatique

[article] Les mathématiciens face au défi des machines [texte imprimé] / Harris, Michael . - 2022 . - p. 26 - 34.
Langues : Français (fre)
in Pour la science > 535 (Mai 2022) . - p. 26 - 34
Catégories : Assistants de preuve
Théorèmes -- Démonstration automatique

Exemplaires

Code-barres Cote Support Localisation Section Disponibilité
aucun exemplaire