Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 3 results.

    1.
    Конструктивная теория доказательств и нестандатрный анализ А. Г. Драгалин; [Редкол. : Г. Е. Минц (отв. ред. ) и др. ]

    by Драгалин, Альберт Григорьевич, 1941-1998 | Минц, Г. Е [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Едиториал УРСС 2003Availability: No items available :
    Log in to add tags Add to cart
    2.
    Натуральный вывод теоретико-доказательственное исследование Даг Правиц ; пер. И. Быстров

    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
    3.
    Многозначные логики и их применения Том 2

    by Аншаков, Олег Михайлович [com] | Виноградов, Дмитрий Вячеславович [com] | Финн, Виктор Константинович, 1933- [com, edt].

    Edition: Изд. стер.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Издательство ЛКИ 2020Other title: Логики в системах искусственного интеллекта / сост.: О. М. Аншаков, Д. В. Виноградов, В. К. Финн ; под ред. В. К. Финна.Availability: No items available :
    Log in to add tags Add to cart