Scientific Library of Tomsk State University

   E-catalog        


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

    • Your search returned 2 results.

    Sort
    Unhighlight Highlight
    Select all Clear all
    Select titles to:
    Results
    1.
    No cover image available
    Алгоритмы вывода теорем метода векторных функций Ляпунова [В. М. Матросов, С. Н. Васильев, В. Г. Каратуев и др.]; под ред. В. М. Матросова

    by Матросов, Владимир Мефодьевич, 1932-2011 | Васильев, Станислав Николаевич, 1946- | Каратуев, В. Г.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Новосибирск Наука, Сибирское отделение 1981Availability: No items available :
    Place hold Log in to add tags Add to cart
    2.
    No cover image available
    Математическая логика и автоматическое доказательство теорем Ч. Чень, Р. Ли; Перевод с англ. Г. В. Давыдова и др.

    by Чень, Ч | Ли, Р | Маслов, Сергей Юрьевич [edt].

    Series: Математическая логика и основания математикиMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1983Online access: Click here to access online Availability: No items available :
    Place hold Log in to add tags Add to cart
    Pages