paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 027819213Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

Théorèmes -- Démonstration automatique

Variantes de point d'accès

Déduction automatique
[Nom commun]
Démonstration automatique de théorèmes
[Nom commun]
Preuve automatique de théorèmes
[Nom commun]
Théorèmes -- Preuve automatique
[Nom commun]
MSC 68T15 (2000)
[Nom commun]

Notices d'autorité liées

Autres identifiants

Identifiant BNF : FRBNF119779221

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

Terme équivalent dans un autre système : Automatic theorem provingDate de consultation du référentiel ou de la classification externe : 2017-02-09URI : http://id.loc.gov/authorities/subjects/sh85010111Code du système ou de la classification utilisé : LCSH
Terme équivalent dans un autre système : Théorèmes -- Démonstration automatiqueDate de consultation du référentiel ou de la classification externe : 2004-07-23Code du système ou de la classification utilisé : RVMLaval

... Références liées : ...