681.142.2(06)
М545 2	Методы представления знаний и доказательное программирование [Текст] : сб. науч. тр. / АН УССР, Ин-т кибернетики им. В. М. Глушкова, Науч. совет АН УССР по проблемам "Кибернетика" ; [редкол.: Е. Л. Ющенко, Ф. И. Андон и др.]. — Киев : ИК, 1990. — 116 с.
ISBN 5-7702-0043-Х