- Notice
Décidabilité (logique mathématique)
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
MSC 03B25 (2000)
MSC 03B25 (2000)
Domaine(s) : 510
Correspondance(s) :
- LCSH (Library of Congress Subject Headings) : Decidability (Mathematical logic) http://id.loc.gov/authorities/subjects/sh85036191
- LCSH (Library of Congress Subject Headings) : Decidability (Mathematical logic) http://id.loc.gov/authorities/subjects/sh85036191
Correspondance(s) exacte(s) :
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Décidabilité (logique mathématique)
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Décidabilité (logique mathématique)
Identifiant de la notice : ark:/12148/cb119818468
Notice n° :
FRBNF11981846
Création :
85/07/07
Mise à jour :
04/07/08