automatic theorem proving

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

	Kategorie	Englisch	Spanisch
General

1	General	automatic theorem proving	demostración automática de teoremas [f]