Методы представления знаний и доказательное программирование :  Сборник научных трудов / 
АН УССР. Ин-т кибернетики им. В.М. Глушкова, Научный совет АН УССР по проблеме "Кибернетика" ; Редкол.: Е.Л. Ющенко, Ф.И. Андон (отв. ред.) и др.]. 
 - Киев :  Б. и.,  1990. 
 - 116 с. 
<br/><br/><label>ISBN: </label>5-7702-0043-X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Вычислительные машины электронные - Программирование - Сборники<br/>Представление знаний - Сборники