БукРивер создан для того, чтобы вы могли поменять прочитанную книгу на любую другую или просто подарить хорошему человеку, пока она не погибла под слоем пыли на вашей полке.
Как это работает Что вы хотите прочитать? Присоединиться к БукРиверу
Как это работает Что вы хотите прочитать? Присоединиться к БукРиверу
Поиск → Логика в решении проблем
«Логика в решении проблем», Ковальски
Изложены основы клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран. Для инженеров, ученых, студентов и аспирантов.
Расскажите друзьям об этой книге. Отправьте им эту ссылку
Мнения о книге
Мнений пока нет. Может быть Вы попробуете? ;)