- Notice
Théorie des types
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
MSC 03B15
Types , Théorie des Ancienne forme retenue
MSC 03B15
Types , Théorie des Ancienne forme retenue
Source(s) :
Grand dict. encyclopédique Larousse . - Encycl. universalis (art. : Mathématiques, Fondements des) : http://www.universalis-edu.com (2011-09-19)
Langenscheidts Fachwörterbuch Mathematik / G. Eisenreich, R. Sube, 1996
Grand dict. encyclopédique Larousse . - Encycl. universalis (art. : Mathématiques, Fondements des) : http://www.universalis-edu.com (2011-09-19)
Langenscheidts Fachwörterbuch Mathematik / G. Eisenreich, R. Sube, 1996
Domaine(s) : 510
Correspondance(s) :
- LCSH (Library of Congress Subject Headings) : Type theory http://id.loc.gov/authorities/subjects/sh85139126
- LCSH (Library of Congress Subject Headings) : Type theory http://id.loc.gov/authorities/subjects/sh85139126
Identifiant de la notice : ark:/12148/cb124934522
Notice n° :
FRBNF12493452
Création :
95/12/13
Mise à jour :
11/09/19