Vista normal
Vista MARC
Demostración automática de teoremas (Término tópico)
Esta autoridad no está utilizada en ningún registro.
Usado por/ver desde:
- Automatic theorem proving
- Teoremas Demostración automática
- Prueba automática de teoremas
- Teoremas, Comprobación automática de
Ver además:
- Encabezamiento genérico: Inteligencia artificial
- Encabezamiento genérico: Teoría de la demostración
- Encabezamiento específico: Nuprl (Sistema para computadora)
- Encabezamiento específico: Ontic (Sistema para computadora)
CSIC Autoridades, 7 abril 2010: (Demostración automática de teoremas)
Biblioteca del Congreso (Estados Unidos), 7 abril 2010: catálogo electrónico (Automatic theorem proving)