[es] Demostración automática de teoremas

[en] Automatic theorem proving

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

Deducción automática

Prueba automática de teoremas

Inteligencia artificial

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

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

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

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