УДК 510.66

Поиск вывода и проблемы разрешения в логических и логико- математических исчислениях


  
код УДК описание примечания
510.662 Поиск вывода
510.665 Проблемы разрешения