Thesaurus UB (THUB)

Ressources sur ce thème

Télécharger comme

Théorie des types

Termes génériques
Logique mathématique
Notes de source
Enciclopèdia.cat, consulta feta el 27 de març, 2008 (Teoria dels tipus)
TESAMAT, consulta feta el 21 de juliol, 2006 (punt d'accés: Tipos, Teoría de)
LCSH, consulta feta el 21 de juliol, 2006 (punt d'accés: Type theory)
RAMEAU, consulta feta el 21 de juliol, 2006 (punt d'accés: Types, Théorie des)
Tesaurus
Matèries
Microtesaurus
Mathématiques
Philosophie
Concepts équivalents dans d'autres schémas
Type theory [LCSH]
Types, Théorie des [RAMEAU]
Permalien
Format MARC21
  • LEADER 01090nz a2200277n 4500 001 981058507462206706 005 20210802122755.0 008 060721|||anznnbabn |a ana d 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 10$2thub 072 7$aTH 51$2thub 150 $aTeoria de tipus 450 $aTeoria dels tipus 550 $wg$aLògica matemàtica 670 $aEnciclopèdia.cat, consulta feta el 27 de març, 2008$b(Teoria dels tipus) 670 $aTESAMAT, consulta feta el 21 de juliol, 2006$b(punt d'accés: Tipos, Teoría de) 670 $aLCSH, consulta feta el 21 de juliol, 2006$b(punt d'accés: Type theory) 670 $aRAMEAU, consulta feta el 21 de juliol, 2006$b(punt d'accés: Types, Théorie des) 675 $aLEMAC;$aAutoridades BNE;$aAutoridades CSIC, cerca feta el 27 març 2008 750 7$aTeoría de tipos$2thub//spa 750 7$aType theory$2thub//eng 750 7$aThéorie des types$2thub//fre 996 $a.a12034113$b13-01-21$c04-06-08$d-$ed$f- 909 $a11$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB 035 $a(ES-BaUB).a12034113
Terme préférentiel dans d'autres langues
CatalàTeoria de tipus
EspañolTeoría de tipos
EnglishType theory
+
Date de dernière mise à jour
15/12/2024