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
- https://vocabularis.crai.ub.edu/thub/concept/thub:981058505060906706
- 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ó
- 17/11/2024