Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Afrikaans
Arabic
Bulgarian
Chinese
Croatian
Czech
Danish
Dutch
English
Esperanto
Estonian
Finnish
French
German
Greek
Hungarian
Italian
Japanese
Latvian
Lithuanian
Norwegian Bokmål
Polish
Portuguese
Romanian
Russian
Scottish Gaelic
Serbian
Serbian Latin
Slovak
Slovene
Spanish
Swedish
Ukrainian
Uzbek
Terms
for subject
Artificial intelligence
containing
proof
|
all forms
|
exact matches only
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