automatic theorem proving

Bedeutungen von dem Begriff "automatic theorem proving" im Französisch Englisch Wörterbuch : 1 Ergebniss(e)

	Kategorie	Englisch	Französisch
General

1	General	automatic theorem proving	démonstration automatique d'un théorème [f]