Russisch ⇄ Englisch

интерактивное доказательство теорем Betonungen
KI	interactive theorem proving (Alex_Odeychuk); ITP (сокр. от "interactive theorem proving" Alex_Odeychuk)

интерактивное доказательство теорем: 2 Phrasen in 1 Thematik

Künstliche Intelligenz

2