Thesaurus UB (THUB)

Recursos sobre aquest tema

Desar com

Càlcul de predicats

Termes no preferents
Teoria de la quantificació
Termes genèrics
Lògica matemàtica
Notes de font
LEMAC, consulta feta el 27 de maig, 2024 (punt d'accés: Càlcul de predicats)
Autoridades BNE, consulta feta el 27 de maig, 2024 (punt d'accés: Cálculo de predicados)
LCSH, consulta feta el 27 de maig, 2024 (punt d'accés: Predicate calculus)
RAMEAU, consulta feta el 27 de maig, 2024 (punt d'accés: Calcul des prédicats)
Tesaurus
Matèries
Microtesaurus
Matemàtica
Conceptes equivalents en altres esquemes
Calcul des prédicats [RAMEAU]
Cálculo de predicados [BNE/A]
Predicate calculus [LCSH]
Enllaç permanent
Format MARC21
  • LEADER 00934nz a2200229n 4500 001 981061134676606706 005 20240527075822.0 008 240527|||anznnbabn |a ana d 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 51$2thub 150 $aCàlcul de predicats 450 $aTeoria de la quantificació 550 $wg$aLògica matemàtica 670 $aLEMAC, consulta feta el 27 de maig, 2024$b(punt d'accés: Càlcul de predicats) 670 $aAutoridades BNE, consulta feta el 27 de maig, 2024$b(punt d'accés: Cálculo de predicados) 670 $aLCSH, consulta feta el 27 de maig, 2024$b(punt d'accés: Predicate calculus) 670 $aRAMEAU, consulta feta el 27 de maig, 2024$b(punt d'accés: Calcul des prédicats) 750 7$aCálculo de predicados$2thub//spa 750 7$aPredicate calculus$2thub//eng 750 7$aCalcul des prédicats$2thub//fre 909 $a12$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB
Terme preferent en altres llengües
EspañolCálculo de predicados
EnglishPredicate calculus
FrançaisCalcul des prédicats
+
Data última actualització
22/12/2024