Normal view
MARC view
- Demostración automática de teoremas
Demostración automática de teoremas (Término temático)
Used for/see from:
- Deducción automática
- Prueba automática de teoremas
See also:
LCSH (Automatic theorem proving)
RAMEAU (Théorèmes-Démonstration automatique)
CSIC (Demostración automática de teoremas)