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

Разрешимость исчисления предикатов 1-й ступени

2006-4/3376 2006-4/3376 [2005-81964]/русский/Разрешимость исчисления предикатов 1-й ступени = Solvability of the first stage predicates calculation / Стрыгин Владимир Захарович.Разрешимость исчисления предикатов 1-й ступени / Стрыгин Владимир Захарович.Разрешимость исчисления предикатов 1-й ступени = Solvability of the first stage predicates calculation.М./Издат. отд. ЦАГИ/, 2005 ( ). - Издат. отд. ЦАГИ, 2005. - 3 с. ; 20 см. - (Препринт / Центр. аэрогидродинам. ин-т им. Н. Е. Жуковского ; № 145).Разрешимость исчисления предикатов 1-й ступени. М., 2005 .
     Авт. также на англ. яз.: Vladimir Z. Strygin. - Библиогр.: с. 3. Библиогр.: с. 3.Solvability of the first stage predicates calculation/Исчисление предикатов/В123,09/В123/ Стрыгин, В. З., Владимир Захарович .В. З.Владимир ЗахаровичStrygin , Vladimir Zacharovič ./
Связаться с нами:

тел.: 8-800-100-01-96 , 8(812)310-71-37

e-mail: office@nlr.ru