Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
Danish
Dutch
Finnish
French
German
Greek
Italian
Japanese
Portuguese
Russian
Spanish
Swedish
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
автоматический доказатель теорем для задач выполнимости формул в теориях
(SMT- сокр. от "satisfiability modulo theories" – "выполнимость формул в теориях"
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
)
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
