démonstration automatique d'un théorème

Bedeutungen von dem Begriff "démonstration automatique d'un théorème" im Englisch Französisch Wörterbuch : 1 Ergebniss(e)

	Kategorie	Französisch	Englisch
General

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