К563 Ковальски, Р. Логика в решении проблем / Р. Ковальски ; пер. с англ. Л. Г. Осмоловского ; предисл. и примеч. Д. А. Поспелова. - Москва : Наука, 1990. - 280 с. - (Проблемы искусственного интеллекта). - Б. ц.
Рубрики: Искусственный интеллект--Логика Кл.слова (ненормированные): семиотика -- математические вопросы семиотики -- искусственный интеллект -- логика Доп.точки доступа: Осмоловский, Л. Г. \пер.\; Поспелов, Д. А. \авт. предисл., авт. примеч.\ Экземпляры всего: 2 кх (1), зал ППС (1) Свободны: кх (1), зал ППС (1) |