Анатолий Геннадьевич Зыков
Жанры и тэги:
- 0
- 0
- 0
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого …
Подробнее
- 0
- 0
- 0
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого …
Подробнее