theorem prover

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

	Kategori	İngilizce	Almanca
Computer
1	Computer	theorem prover	Theorembeweiser [m]
2	Computer	theorem prover	theorembeweisendes Programm [n]