SłownikiForumKontakt

Google | Forvo | +
do fraz

automatic theorem prover

akcenty
makar. программа для автоматизированного доказательства теорем
sztuczn. автоматический доказатель теорем (Microsoft Alex_Odeychuk)
technol. программа автоматического доказательства теорем
automatic theorem prover
: 3 do fraz, 1 tematyki
Sztuczna inteligencja3

Dodaj | Zgłoś błąd | Krótki link