000 00869nam a2200169 4500
999 _c189205
_d189203
003 Ge_NSL
005 20180430171310.0
008 180430s1975 ru ||||| |||| 00| 0 rus d
041 _arus
080 _a16(075.8)
245 _aФормализация естественного языка в терминах исчисления высказываний и исчисления предикатов первой степени / Ч. 1
_cР. И. Павиленис ; М-во высш. и сред. спец. образования ЛитССР. Вильнюс. госуниверситет им. В. Капсукаса.
264 _aВильнюс. :
_bИзд. гос ун-та,
_c1975.
300 _a166 с.
504 _aБиблиогр. : с.158-161.
710 _aВильнюс. госуниверситет им. В. Капсукаса
942 _2udc
_cBK