Iniciar sesión | Spanish | Términos y condiciones de uso
DiccionariosForoContactos

   Inglés ⇄ +
Google | Forvo | +
a las frases

theorem prover

acentos
electr. программа для доказательства теорем (с использованием аксиоматической базы данных)
intel. доказатель теорем (Microsoft Alex_Odeychuk); система доказательства теорем (Microsoft Alex_Odeychuk); доказыватель теорем (Alex_Odeychuk); системой автоматического доказательства теорем (Alex_Odeychuk)
IT инструмент доказательства теорем (wikipedia.org Alex_Odeychuk)
mat., softw. утилита автоматического доказательства теорем (Alex_Odeychuk)
progr. инструмент автоматического доказательства теорем (Alex_Odeychuk)
theorem prover
: 13 a las frases, 5 temas
Inteligencia artificial9
Makárov1
Programación1
Software1
Tecnología de la información1

Añadir | Enviar un mensaje de error | Enlace corto a esta página