Théorèmes -- Démonstration automatique

Théorèmes -- Démonstration automatique

Export bibliographique

Identifiant IdRef : 027819213

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

Intelligence artificielle

Autres identifiants

Identifiant BNF : FRBNF119779221

Identifiant ARK : http://catalogue.bnf.fr/ark:/12148/cb11977922s

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

Informations sur la notice

Identifiant de la notice : 027819213

Créateur de la notice : 0004

Création : 07-07-1985

Dernier modificateur de la notice : 341720001

Dernière modification : 16-06-2021 à 13 h 35

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