Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 3 results.

    1.
    Логика и компьютер моделирование рассуждений и проверка правильности программ [Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. ; науч. ред. Е. Д. Смирнова ; авт. предисл. И. М. Макаров] ; Акад. наук СССР

    by Алешина, Наталия Альбертовна | Анисов, Александр Михайлович | Быстров, Петр Иванович | Смирнова, Елена Дмитриевна [edt].

    Series: Кибернетика: неограниченные возможности и возможные ограниченияMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва Наука 1990Availability: No items available :
    Log in to add tags Add to cart
    2.
    Развитие многозначной логики А. С. Карпенко ; Российская акад. наук, Ин-т философии

    by Карпенко, Александр Степанович, 1946-.

    Edition: Изд. стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian, English Publication details: Москва Издательство ЛКИ 2016Availability: No items available :
    Log in to add tags Add to cart
    3.
    Натуральный вывод теоретико-доказательственное исследование Даг Правиц ; пер. И. Быстров

    by Правиц, Даг.

    Series: МатематикаMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: [Б. м.] Лори 2020Other title: Natural deduction.Availability: No items available :
    Log in to add tags Add to cart