УДК 510.66

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

вверх  домой
код УДК описание примечания
510.662 Поиск вывода
510.665 Проблемы разрешения
 
Сгенерировано Флэнг-системой из метаописания УДК в формате Dublin Core
© 2004 TeaCode.com