Demostración automática de teoremas

Términos genéricos

Inteligencia artificial

Notas de fuente

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)

Tesauro

Materias

Microtesauro

Matemáticas

Conceptos equivalentes en otros esquemas

Automatic theorem proving [LCSH]

Enlace permanente

https://vocabularis.crai.ub.edu/thub/concept/thub:981058505060906706

Formato 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

Término preferente en otras lenguas

CatalàDemostració automàtica de teoremes

EnglishAutomatic theorem proving

FrançaisDémonstration automatique de théorèmes

+ −