Relaciones
T.Genérico
T.Rechazado
Demostración automática de teoremas
T.Genérico
Demostración, Teoría de la
Inteligencia artificial
LCSH | Automatic theorem proving |
Laval: | Théorémes - Démonstration automatique |
CDU
004.93
510.5
CDU abreviada 004.9
LCSH | Automatic theorem proving |
Laval: | Théorémes - Démonstration automatique |