Historique

theorem prover

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

	Catégorie	Anglais	Allemand
Computer
1	Computer	theorem prover	Theorembeweiser [m]
2	Computer	theorem prover	theorembeweisendes Programm [n]