automatisches theorembeweisen

Meanings of "automatisches theorembeweisen" in English German Dictionary : 1 result(s)

	Kategori	Almanca	İngilizce
General
1	General	automatisches Theorembeweisen [n]	automatic theorem proving