theorembeweisendes programm

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

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