(1990). Методы представления знаний и доказательное программирование: АН УССР, Ин-т кибернетики им. В. М. Глушкова, Науч. совет АН УССР по пробл. "Кибернетика". Киев ИК 1990.
Chicago-стиль цитированияМетоды представления знаний и доказательное программирование: АН УССР, Ин-т кибернетики им. В. М. Глушкова, Науч. совет АН УССР по пробл. "Кибернетика". Киев ИК 1990, 1990.
MLA-цитированиеМетоды представления знаний и доказательное программирование: АН УССР, Ин-т кибернетики им. В. М. Глушкова, Науч. совет АН УССР по пробл. "Кибернетика". Киев ИК 1990, 1990.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.