Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
Danish
Dutch
Finnish
French
German
Greek
Italian
Japanese
Portuguese
Russian
Spanish
Swedish
Terms
for subject
Artificial intelligence
containing
theorem prover
|
all forms
|
exact matches only
|
in specified order only
English
Russian
automated
theorem prover
система автоматического доказательства теорем
(Microsoft
Alex_Odeychuk
)
automatic
theorem prover
автоматический доказатель теорем
(Microsoft
Alex_Odeychuk
)
automatic
theorem prover
for satisfiability modulo theories
автоматический доказатель теорем о выполнимости формул в теориях
(
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
автоматический доказатель теорем для задач выполнимости формул в теориях
high-performance
theorem prover
высокопроизводительный доказатель теорем
(Microsoft
Alex_Odeychuk
)
interactive
theorem prover
интерактивный доказатель теорем
(
Alex_Odeychuk
)
interpolating
theorem prover
доказатель интерполяционных теорем
(Microsoft
Alex_Odeychuk
)
theorem prover
системой автоматического доказательства теорем
(
Alex_Odeychuk
)
theorem prover
система доказательства теорем
(Microsoft
Alex_Odeychuk
)
theorem prover
доказыватель теорем
(
Alex_Odeychuk
)
theorem prover
доказатель теорем
(Microsoft
Alex_Odeychuk
)
Get short URL