theorem prover

Meanings of "theorem prover" in German English Dictionary : 2 result(s)

	Categoría	Inglés	Alemán
Computer
1	Computer	theorem prover	Theorembeweiser [m]
2	Computer	theorem prover	theorembeweisendes Programm [n]