Historique

theorem proving

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

	Catégorie	Anglais	Allemand
Computer
1	Computer	theorem proving	Theorembeweis [m]
Informatics
2	Informatics	theorem proving	Beweisverfahren [n]

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

	Catégorie	Anglais	Allemand
General
1	General	automatic theorem proving	automatisches Theorembeweisen [n]
Computer
2	Computer	mechanical theorem-proving	automatisches Beweisen [n]