Описание RUSMARC Карточка

Некоторые сложностные характеристики выводов в исчислениях высказываний

78-4/1656 русский (rus)/Некоторые сложностные характеристики выводов в исчислениях высказываний .Некоторые сложностные характеристики выводов в исчислениях высказываний.Некоторые сложностные характеристики выводов в исчислениях высказываний.Москва/Б. и./, 1977 ( ). - Б. и., 1977. - 63 с. : ил. ; 21 см. - (Ин-т прикл. математики АН СССР. Препринт ; № 116).Некоторые сложностные характеристики выводов в исчислениях высказываний. Москва, 1977 .
     Библиогр.: с. 63. Библиогр.: с. 63. Попов, С. В., Сергей Викторович (канд. физ.-мат. наук, кибернетика; 1946-).С. В.Сергей Викторович