automatic theorem proving

Significados de "automatic theorem proving" en diccionario español inglés : 1 resultado(s)

	Categoría	Inglés	Español
General

1	General	automatic theorem proving	demostración automática de teoremas [f]