Término aceptado

[es] Demostración automática de teoremas

[en] Automatic theorem proving

[fr] Théorèmes-Démonstration automatique

Usado por

Deducción automática

Prueba automática de teoremas

Término relacionado

Inteligencia artificial

Término equivalente en otros vocabularios

http://data.bnf.fr/ark:/12148/cb11977922s

http://id.loc.gov/authorities/subjects/sh85010111

Temas relacionados

Demostración automática de teoremas--Congresos y asambleas

Demostración automática de teoremas--Tesis doctorales