Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms containing propositional logic | all forms | exact matches only | in specified order only
SubjectEnglishRussian
AI.backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal formалгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk)
progr.completeness in propositional logicполнота в логике высказываний (ssn)
progr.language of propositional logicязык логики высказываний (ssn)
tech.propositional logicлогика высказываний
comp.propositional logicпропозициональная логика
AI.propositional logic formulaформула логики высказываний (Alex_Odeychuk)

Get short URL