theorembeweisendes programm

Meanings of "theorembeweisendes programm" in English German Dictionary : 1 result(s)

	Categoría	Alemán	Inglés
Computer

1	Computer	theorembeweisendes Programm [n]	theorem prover