Démonstrateur automatique de théorèmes translation - English French translation of Démonstrateur automatique de théorèmes

Woxikon / Dictionary / English French / D / Démonstrateur automatique de théorèmes

Search term Démonstrateur automatique de théorèmes has one result

Jump to

FR	French	EN	English
	Démonstrateur automatique de théorèmes		Automated theorem proving

FR EN Translations for automatique

	automatique (a) [conduite]		automatic (a) [conduite]
	automatique (a) [mécanique]		automatic (a) [mécanique]
	automatique (a) [conduite]		mechanic (a) [conduite]

FR EN Translations for de

	de (o) [comparaison]		than (o) [comparaison]
	de (o) [général]		to (o) [général]
	de (o) [concernant]		concerning (o) [concernant]
	de (o) [concernant]		regarding (o) [concernant]
	de (o) [concernant]		about (o) [concernant]
	de (o) [quantité]		some (o) [quantité]
	de (o) [livres]		by (o) [livres]
	de		of
	de (o) [général]		of (o) [général]
	de (o) [livres]		of (o) [livres]