NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 1 of 1 (0.116 seconds)

Spelling suggestions: "subject:"comportement heuristique""

1

Les graphes de démonstration : outil pour l'étude des démonstrations naturelles

Balacheff, Nicolas 22 March 1978 (has links) (PDF)
Etude des résolutions de problèmes mathématiques par des personnes parvenues au stade hypothético-déductif exprimées par un discours. Présentation d'un outil pour l'étude des raisonnements naturels.
intelligence artificielle
graphes
démonstration formelle
représentation
comportements heuristiques
méthode heuristique
résolution
démonstration automatique
enseignement
introspection
logique mathématique

Page generated in 0.1192 seconds