Thesaurus UB (THUB)

Recursos sobre aquest tema

Desar com

Demostració automàtica de teoremes

Termes no preferents
ATP
Deducció automàtica
Prova automàtica de teoremes
Termes genèrics
Intel·ligència artificial
Teoria de la prova
Notes de font
Viquipèdia, consulta feta el 28 de maig, 2013 (sota Programació lògica : Demostració automàtica de teoremes)
Autoridades BNE, consulta feta el 28 de maig, 2013 (punt d'accés: Demostración automática de teoremas)
LCSH, consulta feta el 28 de maig, 2013 (punt d'accés: Automatic theorem proving)
RAMEAU, consulta feta el 28 de maig, 2013 (punt d'accés: Théorèmes -- Démonstration automatique)
Tesaurus
Matèries
Microtesaurus
Matemàtica
Conceptes equivalents en altres esquemes
Automatic theorem proving [LCSH]
Demostración automática de teoremas [BNE/A]
Théorèmes -- Démonstration automatique [RAMEAU]
Enllaç permanent
Format MARC21
  • LEADER 01327nz a2200301n 4500 001 981058505060906706 005 20210802122644.0 008 130528|||anznnbabn |a ana d 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 51$2thub 150 $aDemostració automàtica de teoremes 450 $aATP 450 $aDeducció automàtica 450 $aProva automàtica de teoremes 550 $wg$aIntel·ligència artificial 550 $wg$aTeoria de la prova 670 $aViquipèdia, consulta feta el 28 de maig, 2013$b(sota Programació lògica : Demostració automàtica de teoremes) 670 $aAutoridades BNE, consulta feta el 28 de maig, 2013$b(punt d'accés: Demostración automática de teoremas) 670 $aLCSH, consulta feta el 28 de maig, 2013$b(punt d'accés: Automatic theorem proving) 670 $aRAMEAU, consulta feta el 28 de maig, 2013$b(punt d'accés: Théorèmes -- Démonstration automatique) 675 $aLEMAC;$aTERMCAT, cerca feta el 28 maig 2013 750 7$aDemostración automática de teoremas$2thub//spa 750 7$aAutomatic theorem proving$2thub//eng 750 7$aDémonstration automatique de théorèmes$2thub//fre 996 $a.a13172712$b12-02-21$c28-05-13$d-$ed$f- 909 $a12$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB 035 $a(ES-BaUB).a13172712
Terme preferent en altres llengües
EspañolDemostración automática de teoremas
EnglishAutomatic theorem proving
FrançaisDémonstration automatique de théorèmes
+
Data última actualització
27/10/2024