Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Arabic
Azerbaijani
Bulgarian
Chinese
Czech
Danish
Dutch
English
Esperanto
French
German
Hausa
Hebrew
Hungarian
Italian
Japanese
Kannada
Lithuanian
Maltese
Persian
Polish
Portuguese
Romanian
Russian
Scottish Gaelic
Serbian
Serbian Latin
Sinhala
Slovene
Spanish
Turkish
Ukrainian
Uzbek
Terms
for subject
Artificial intelligence
containing
Procedures
|
all forms
English
Russian
conclusive
procedure
процедура вывода
(
ssn
)
conclusive
procedures
процедуры вывода
(
ssn
)
constrained inference
procedure
процедура логического вывода в ограничениях
(
Alex_Odeychuk
)
quantifier instantiation
procedure
процедура инстанцирования квантора
(Microsoft
Alex_Odeychuk
)
quantifier-elimination
procedure
процедура элиминации кванторов
(Microsoft
Alex_Odeychuk
)
unconstrained inference
procedure
процедура логического вывода без ограничений
(
Alex_Odeychuk
)
Get short URL