- Demostración automática de teoremas
Entry Término temático
001 - NÚMERO DE CONTROL
- campo de control: 672159
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
- campo de control: SpMaBN
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
- campo de control: 20200130170633.0
008 - DATOS DE LONGITUD FIJA
- campo de control de longitud fija: 050207 n anznnbabn a ana
016 ## - NÚMERO DE CONTROL DE UNA AGENCIA BIBLIOGRÁFICA NACIONAL
- Número de control del registro: BNE20050235741
024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES
- Número estándar o código: http://id.loc.gov/authorities/subjects/sh85010111
- Fuente del número o código: lcsh
024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES
- Número estándar o código: http://data.bnf.fr/ark:/12148/cb11977922s
- Fuente del número o código: rameau
040 ## - FUENTE DE LA CATALOGACIÓN
- Centro catalogador/agencia de origen: SpMaBN
- Lengua de catalogación: spa
- Centro/agencia transcriptor: SpMaBN
- Normas de descripción: rdc
- Convención/Normas de encabezamiento de materia/tesauro: embne
042 ## - CÓDIGO DE AUTENTICACIÓN
- Código de autenticación: 200502081406PCMPBC BNEP 00
080 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL UNIVERSAL
- Número de la Clasificación Decimal Universal: 004.83
- Identificador de la edición: 2000
150 ## - ENCABEZAMIENTO--TÉRMINO DE MATERIA
- Término de materia o nombre geográfico como elemento de entrada: Demostración automática de teoremas
450 ## - TRAZADO DE VÉASE--TÉRMINO DE MATERIA
- Término de materia o nombre geográfico como elemento de entrada: Deducción automática
450 ## - TRAZADO DE VÉASE--TÉRMINO DE MATERIA
- Término de materia o nombre geográfico como elemento de entrada: Prueba automática de teoremas
550 ## - TRAZADO VÉASE ADEMÁS--TÉRMINO DE MATERIA
- Término de materia o nombre geográfico como elemento de entrada: Inteligencia artificial
670 ## - FUENTE DE DATOS ENCONTRADOS
- Cita de la fuente: LCSH
- Información encontrada: (Automatic theorem proving)
670 ## - FUENTE DE DATOS ENCONTRADOS
- Cita de la fuente: RAMEAU
- Información encontrada: (Théorèmes-Démonstration automatique)
670 ## - FUENTE DE DATOS ENCONTRADOS
- Cita de la fuente: CSIC
- Información encontrada: (Demostración automática de teoremas)
750 ## - ENTRADA DE ENLACE DE ENCABEZAMIENTO ESTABLECIDO--TÉRMINO DE MATERIA
- Término de materia o nombre geográfico como elemento de entrada: Théorèmes-Démonstration automatique
- Fuente del encabezamiento o término: rameau
750 ## - ENTRADA DE ENLACE DE ENCABEZAMIENTO ESTABLECIDO--TÉRMINO DE MATERIA
- Término de materia o nombre geográfico como elemento de entrada: Automatic theorem proving
- Fuente del encabezamiento o término: lcsh