Web Analytics
DICTIONARY
TTS Voice
 virtual keyboard

Russian English Modern Computing Dictionary






Phrases with резолюция found: 5  


Russian-English Modern Computing dictionary
   доказательство теорем методом резолюции
  resolution theorem proving

Russian-English Modern Computing dictionary
   метод резолюций
  resolution method В экспертных системах - метод манипулирования знаниями, основанный на использовании правил вывода - резолюций.

Russian-English Modern Computing dictionary
   принцип резолюции
  resolution principle (в ПРОЛОГЕ)

Russian-English Modern Computing dictionary
   процедура резолюции
  resolution procedure

Russian-English Modern Computing dictionary
   одиночная резолюция
  unit resolution (применяемая для отладки пролог-программы)