Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Bulgarian
Russian
Terms
for subject
Artificial intelligence
containing
proof -proof
|
all forms
English
Russian
automated verification and proof description language
язык описания логических систем для автоматического поиска доказательств
(
Alex_Odeychuk
)
generic proof assistant
система автоматического доказательства теорем общего назначения
(
Alex_Odeychuk
)
interactive proof checker
интерактивная система автоматического доказательства теорем
(корпорации AdaCore
Alex_Odeychuk
)
proof assistant
система автоматического доказательства теорем
(
Alex_Odeychuk
)
proof assistant
доказыватель теорем
(
Alex_Odeychuk
)
proof discovery
обнаружение доказательств
(
Alex_Odeychuk
)
Get short URL