Terms for subject Artificial intelligence containing теорема

Russian	English
автоматический доказатель теорем	prover (корпорации AdaCore Alex_Odeychuk)
автоматический доказатель теорем	automatic theorem prover (Microsoft Alex_Odeychuk)
автоматический доказатель теорем для задач выполнимости формул в теориях	automatic theorem prover for satisfiability modulo theories problems (Alex_Odeychuk)
автоматический доказатель теорем для задач выполнимости формул в теориях	automatic theorem prover for SMT problems (SMT- сокр. от "satisfiability modulo theories" – "выполнимость формул в теориях" Alex_Odeychuk)
автоматический доказатель теорем для задач выполнимости формул в теориях	automatic theorem prover for SMT problems
автоматический доказатель теорем о выполнимости формул в теориях	automatic theorem prover for satisfiability modulo theories (Alex_Odeychuk)
автоматическое доказательство теорем	automated theorem proving (Alex_Odeychuk)
автоматическое доказательство теорем	automated deductio (синоним термина "automated theorem proving" Alex_Odeychuk)
автоматическое доказательство теорем	automated deduction (Alex_Odeychuk)
автоматическое доказательство теорем	ATP (сокр. от "automated theorem proving" Alex_Odeychuk)
автоматическое доказательство теорем геометрии	automated geometric theorem proving (Alex_Odeychuk)
высокопроизводительный доказатель теорем	high-performance theorem prover (Microsoft Alex_Odeychuk)
доказатель интерполяционных теорем	interpolating theorem prover (Microsoft Alex_Odeychuk)
доказатель теорем	prover (корпорации AdaCore Alex_Odeychuk)
доказатель теорем	theorem prover (Microsoft Alex_Odeychuk)
доказывание теорем	theorem proving (Alex_Odeychuk)
доказыватель теорем	theorem prover (Alex_Odeychuk)
доказыватель теорем	proof assistant (Alex_Odeychuk)
интерактивная система автоматического доказательства теорем	interactive proof checker (корпорации AdaCore Alex_Odeychuk)
интерактивное доказательство теорем	ITP (сокр. от "interactive theorem proving" Alex_Odeychuk)
интерактивное доказательство теорем	interactive theorem proving (Alex_Odeychuk)
интерактивный доказатель теорем	interactive theorem prover (Alex_Odeychuk)
конкурс систем автоматического доказательства теорем	ATP system competition (ATP – сокр. от "automated theorem proving" Alex_Odeychuk)
методология автоматического доказательства теорем	theorem proving methodology (автоматическое доказательство теорем – одно из направлений исследований и разработок в области искусственного интеллекта Alex_Odeychuk)
система автоматического доказательства теорем	proof assistant (Alex_Odeychuk)
система автоматического доказательства теорем	automated theorem prover (Microsoft Alex_Odeychuk)
система автоматического доказательства теорем	automated theorem proving system (Alex_Odeychuk)
система автоматического доказательства теорем	ATP system (сокр. от "automated theorem proving system" Alex_Odeychuk)
система автоматического доказательства теорем общего назначения	generic proof assistant (Alex_Odeychuk)
система доказательства теорем	theorem prover (Microsoft Alex_Odeychuk)
системой автоматического доказательства теорем	theorem prover (Alex_Odeychuk)
язык программирования на основе автоматического доказательства теорем	theorem proving language (Alex_Odeychuk)