Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Artificial intelligence containing proof | all forms | exact matches only
EnglishRussian
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