Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
English
French
German
Italian
Russian
Terms
for subject
Software
containing
prover
|
all forms
English
Russian
automated theorem
prover
инструмент автоматического доказательства теорем
(
Alex_Odeychuk
)
automatic
prover
автоматический доказатель теорем
(
adacore.com
Alex_Odeychuk
)
Get short URL
