Englisch ⇄ Chinesisch Deutsch Dänisch Finnisch Französisch Griechisch Italienisch Japanisch Niederländisch Portugiesisch Russisch Schwedisch Spanisch +

theorem prover
IT	Theorembeweise; Beweisfindungsverfahren n
KI	Theorembeweiser

theorem prover : 12 Phrasen in 3 Thematiken

Allgemeine Lexik	1
Informationstechnik	2
Künstliche Intelligenz	9