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

510.662Поиск вывода.
510.665Проблемы разрешения.

[ Начало ]