Englisch ⇄ Russisch +

proof assistant Betonungen
KI	доказыватель теорем (mistral.ai Alex_Odeychuk); система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)

proof assistant : 2 Phrasen in 1 Thematik

Künstliche Intelligenz

2