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