History

theorem proving

Meanings of "theorem proving" in Spanish English Dictionary : 1 result(s)

	Category	English	Spanish
Engineering
1	Engineering	theorem proving	demostración de teorema

Meanings of "theorem proving" with other terms in English Spanish Dictionary : 2 result(s)

	Category	English	Spanish
General
1	General	automatic theorem proving	demostración automática de teoremas [f]
Engineering
2	Engineering	theorem-proving	demostración de teoremas