sistema de demostración de teoremas
- Inglés:
- theorem proving system
- Francés:
- système de démonstration de théorèmes
- Grupo:
- Sociedad de la información
- Especialidad:
- Inteligencia artificial
- Definición:
Ver la página de sistema de demostración de teoremas en Wikipedia.
Ver la página de theorem proving system en Wikipedia.
Ver la información de theorem proving system en el diccionario Merrian-Webster.
Ver la página de système de démonstration de théorèmes en Wikipedia.