bn:00377287n
Noun Concept
Categories: Logique mathématique
FR
Structure de Herbrand
FR
En logique du premier ordre, une Structure de Herbrand S est une structure sur un vocabulaire σ qui est défini uniquement par les propriétés syntaxiques de σ. Wikipedia
Definitions
Relations
Sources
FR
En logique du premier ordre, une Structure de Herbrand S est une structure sur un vocabulaire σ qui est défini uniquement par les propriétés syntaxiques de σ. Wikipedia
NAMED AFTER
Wikipedia