Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 3 results.

    1.
    No cover image available
    Вычислимость. Введение в теорию рекурсивных функций Н. Катленд; Пер. с англ. А. А. Мучника; Под ред. С. Ю. Маслова

    by Катленд, Найджел | Маслов, Сергей Юрьевич [редактор] | Мучник, А. А [переводчик].

    Material type: Text Text; Format: print Language: Russian Original language: English Publication details: М. Мир 1983Availability: No items available :
    Log in to add tags Add to cart
    2.
    No cover image available
    Теория дедуктивных систем и ее применения С. Ю. Маслов

    by Маслов, Сергей Юрьевич.

    Series: КибернетикаMaterial type: Text Text; Format: print Publication details: М. Радио и связь 1986Availability: No items available :
    Log in to add tags Add to cart
    3.
    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 :
    Log in to add tags Add to cart