- Notice
Théorèmes -- Démonstration automatique
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
Déduction automatique
Démonstration automatique de théorèmes
Preuve automatique de théorèmes
Théorèmes -- Preuve automatique
MSC 68T15 (2000)
Déduction automatique
Démonstration automatique de théorèmes
Preuve automatique de théorèmes
Théorèmes -- Preuve automatique
MSC 68T15 (2000)
Domaine(s) : 510
Correspondance(s) :
- LCSH (Library of Congress Subject Headings) : Automatic theorem proving http://id.loc.gov/authorities/subjects/sh85010111
- LCSH (Library of Congress Subject Headings) : Automatic theorem proving http://id.loc.gov/authorities/subjects/sh85010111
Correspondance(s) exacte(s) :
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Théorèmes -- Démonstration automatique
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Théorèmes -- Démonstration automatique
Identifiant de la notice : ark:/12148/cb11977922s
Notice n° :
FRBNF11977922
Création :
85/07/07
Mise à jour :
04/07/23