Thesaurus UB (THUB)

Ressources sur ce thème

Télécharger comme

Démonstration automatique de théorèmes

Termes génériques
Intelligence artificielle
Théorie de la Preuve
Notes de source
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
Mathématiques
Concepts équivalents dans d'autres schémas
Automatic theorem proving [LCSH]
Demostración automática de teoremas [BNE/A]
Théorèmes -- Démonstration automatique [RAMEAU]
Permalien
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 préférentiel dans d'autres langues
CatalàDemostració automàtica de teoremes
EspañolDemostración automática de teoremas
EnglishAutomatic theorem proving
+
Date de dernière mise à jour
29/09/2024