Полное описание

Williams, J. G. Instantiation theory:on the foundations of automated deduction / J.G.Williams. - Berlin [etc.] : Springer , 1991. - VIII,133 p. p. : ill. - (Lecture notes in artificial intelligence ; 518). - ISBN 3-540-54333-3. - Текст : непосредственный.
Библиогр.: c.128-133

ГРНТИ	УДК
28.23.17	004.832.3

Рубрики:
Искусственный интеллект -- Логический вывод

Кл.слова (ненормированные): ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16482/518)

Шифр в сводном ЭК: c3debb1e694eb707132c89a6e9391be1

Заказать
Заказ фрагмента документа ₽