Automatic theorem proving
- Broader concepts
- Artificial intelligence
- Proof theory
- Source notes
- 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)
- Thesaurus
- Subjects
- Microthesaurus
- Mathematics
- Equivalent concepts in other schemes
- Automatic theorem proving [LCSH]
- Demostración automática de teoremas [BNE/A]
- Théorèmes -- Démonstration automatique [RAMEAU]
- Permalink
- 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
- Preferred term in other languages
- CatalàDemostració automàtica de teoremes
- EspañolDemostración automática de teoremas
- FrançaisDémonstration automatique de théorèmes