1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Splitting andreduction heuristicsin automatic theoremproving W. W. Bledsoe1971 год

Splitting and reduction heuristics in automatic theorem proving
статья из журнала

Страница публикацииПубликация в OpenAlex
Год издания: 1971
Авторы: W. W. Bledsoe
Издательство: Elsevier BV
Источник: Artificial Intelligence
Ключевые слова: Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Formal Methods in Verification