The National Library of Georgia მთავარი - ბიბლიოთეკის შესახებ - ელ.რესურსები 
NPLG Online Catalogs  | დახმარება | მოგვწერეთ |
 
English   Georgian 
ძიება თემატური კატალოგი ძიების ისტორია  მონაცემთა ბაზის შეცვლა 
ძიების შედეგი   ხელახალი ძიება დათვალიერება
მონაცემთა ბაზა:DIS - ეროვნული დისერტაციები და ავტორეფერატები გამოტანის ფორმატი 
შედეგის შენახვა
ჩანაწერები:თქვენს შეკითხვაზე მოიძებნა 1 ჩანაწერი
  1. Рогава, М.Г.

    Секвенциальные варианты прикладных исчислений предикатов без структурных правил вывода : Автореф... канд. физ.-мат. наук / М.Г. Рогава ; Науч. рук. Минц Г.Е. ; Офиц. оппон.: Шанин Н.А., Плюшкевичус Р.А. ; АН СССР. Ленингр. отд. мат. ин-т. - Тб., 1968. - 12 c.. - Библиогр.: с. 10[MFN: 64959]

    UDC: 510.63

    TA 5.570 - საარქივო ფონდი

     

    * Double: Секвенциальные варианты прикладных исчислений предикатов без структурных правил вывода