Zaloguj się | Polish | Umowa użytkownika
SłownikiForumKontakt

   Angielski ⇄ +
Google | Forvo | +
do fraz

theorem prover

akcenty
elektron. программа для доказательства теорем (с использованием аксиоматической базы данных)
mat., oprogr. утилита автоматического доказательства теорем (Alex_Odeychuk)
progr. инструмент автоматического доказательства теорем (Alex_Odeychuk)
sztuczn. доказатель теорем (Microsoft Alex_Odeychuk); система доказательства теорем (Microsoft Alex_Odeychuk); доказыватель теорем (Alex_Odeychuk); системой автоматического доказательства теорем (Alex_Odeychuk)
technol. инструмент доказательства теорем (wikipedia.org Alex_Odeychuk)
theorem prover
: 13 do fraz, 5 tematyki
Makarowa1
Oprogramowanie1
Programowanie1
Sztuczna inteligencja9
Technologia informacyjna1

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