Non-résolubilité (logique mathématique)

Non-résolubilité (logique mathématique)

data.idref

Export biblio

Identifiant pérenne de la notice : 031453813

URI de l'entité : http://www.idref.fr/031453813/id

Notice de type Rameau

Point d'accès autorisé

Non-résolubilité (logique mathématique)

Notices d'autorité liées

Fonctions récursives

Identifiants externes

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb122666422

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 : Non-résolubilité (logique mathématique)Date de consultation du référentiel ou de la classification externe : 2001-11-07Code du système ou de la classification utilisé : RVMLaval

Terme équivalent dans un autre système : Unsolvability (Mathematical logic)Date de consultation du référentiel ou de la classification externe : 2017-02-09URI : http://id.loc.gov/authorities/subjects/sh85141199Code du système ou de la classification utilisé : LCSH

Informations sur la notice

Identifiant de la notice : 031453813

RCR créateur de la notice : 0004

Date de création : 12-10-1992

RCR dernier modificateur de la notice : 341720001

Date de dernière modification : 16-06-2021 à 19 h 51

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