УДК 510.66

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

вверх домой

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

Сгенерировано Флэнг-системой из метаописания УДК в формате Dublin Core
© 2004 TeaCode.com