- Notice
Élimination des quantificateurs
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
Élimination des quantifications
MSC 03C10
Quantificateurs, Élimination des
Quantifications, Élimination des
Élimination des quantifications
MSC 03C10
Quantificateurs, Élimination des
Quantifications, Élimination des
Source(s) :
Encycl. universalis (art. : Modèles, Théorie des) : http://www.universalis-edu.com (2011-08-11)
Langenscheidts Fachwörtberbuch Mathematik / G. Eisenreich, R. Sube, 1996 . - Logique mathématique / J.-F. Pabion, 1976 . - Éléments de logique mathématique : théorie des modèles / J.-L. Krivine, G. Kreisel, 1967
Encycl. universalis (art. : Modèles, Théorie des) : http://www.universalis-edu.com (2011-08-11)
Langenscheidts Fachwörtberbuch Mathematik / G. Eisenreich, R. Sube, 1996 . - Logique mathématique / J.-F. Pabion, 1976 . - Éléments de logique mathématique : théorie des modèles / J.-L. Krivine, G. Kreisel, 1967
Domaine(s) : 510
Pas de correspondance :
- LCSH (Library of Congress Subject Headings)
- LCSH (Library of Congress Subject Headings)
Identifiant de la notice : ark:/12148/cb150372430
Notice n° :
FRBNF15037243
Création :
06/01/26
Mise à jour :
11/08/11
