Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms containing
theorem prover
|
all forms
|
exact matches only
|
in specified order only
Subject
English
Russian
softw.
automated
theorem prover
инструмент автоматического доказательства теорем
(
Alex_Odeychuk
)
AI.
automated
theorem prover
система автоматического доказательства теорем
(Microsoft
Alex_Odeychuk
)
IT
automatic
theorem prover
программа автоматического доказательства теорем
AI.
automatic
theorem prover
автоматический доказатель теорем
(Microsoft
Alex_Odeychuk
)
Makarov.
automatic
theorem prover
программа для автоматизированного доказательства теорем
AI.
automatic
theorem prover
for satisfiability modulo theories
автоматический доказатель теорем о выполнимости формул в теориях
(
Alex_Odeychuk
)
AI.
automatic
theorem prover
for satisfiability modulo theories problems
автоматический доказатель теорем для задач выполнимости формул в теориях
(
Alex_Odeychuk
)
AI.
automatic
theorem prover
for SMT problems
автоматический доказатель теорем для задач выполнимости формул в теориях
AI.
high-performance
theorem prover
высокопроизводительный доказатель теорем
(Microsoft
Alex_Odeychuk
)
AI.
interactive
theorem prover
интерактивный доказатель теорем
(
Alex_Odeychuk
)
AI.
interpolating
theorem prover
доказатель интерполяционных теорем
(Microsoft
Alex_Odeychuk
)
progr.
optimizing
theorem prover
доказатель оптимизационных теорем
(Microsoft
Alex_Odeychuk
)
math., softw.
theorem prover
утилита автоматического доказательства теорем
(
Alex_Odeychuk
)
el.
theorem prover
программа для доказательства теорем
(с использованием аксиоматической базы данных)
AI.
theorem prover
системой автоматического доказательства теорем
(
Alex_Odeychuk
)
progr.
theorem prover
инструмент автоматического доказательства теорем
(
Alex_Odeychuk
)
AI.
theorem prover
доказыватель теорем
(
Alex_Odeychuk
)
AI.
theorem prover
система доказательства теорем
(Microsoft
Alex_Odeychuk
)
AI.
theorem prover
доказатель теорем
(Microsoft
Alex_Odeychuk
)
Get short URL