000 01162nam a2200217 u 4500
001 000122095
003 AM-YeNLA
005 20230713104540.0
008 030329s1990 un d||||r|||||001|0|rus||
020 _a5-7702-0043-X
040 _brus
_cAM-YeNLA
041 0 _arus
245 0 0 _aМетоды представления знаний и доказательное программирование :
_bСборник научных трудов /
_cАН УССР. Ин-т кибернетики им. В.М. Глушкова, Научный совет АН УССР по проблеме "Кибернетика" ; Редкол.: Е.Л. Ющенко, Ф.И. Андон (отв. ред.) и др.].
260 _aКиев :
_bБ. и.,
_c1990.
300 _a116 с.
650 1 4 _aВычислительные машины электронные - Программирование - Сборники
650 1 4 _aПредставление знаний - Сборники
700 1 _aЮщенко, Екатерина Логвиновна
_eред.
_4edt
710 2 _aИнститут кибернетики им. В.М. Глушкова
942 _2udc
_cBK
999 _c96356
_d96356