theorem-proving

Meanings of "theorem-proving" with other terms in English German Dictionary : 4 result(s)

	Kategori	İngilizce	Almanca
General
1	General	automatic theorem proving	automatisches Theorembeweisen [n]
Computer
2	Computer	theorem proving	Theorembeweis [m]
3	Computer	mechanical theorem-proving	automatisches Beweisen [n]
Informatics
4	Informatics	theorem proving	Beweisverfahren [n]