Kết quả tìm kiếm

Chủ đề được đề xuất trong tìm kiếm của bạn.
  • Đang hiển thị 1 - 7 kết quả của 7
Tinh chỉnh kết quả
  1. 1
    Математическая логика и теория алгоритмов учебное пособие

    Математическая логика и теория алгоритмов учебное пособие Bằng Крупский В. Н. Владимир Николаевич

    Được phát hành Москва, Академия, 2013
    Sách
  2. 2
    Логика и компьютер

    Логика и компьютер

    Được phát hành Москва, Наука, 2004
    Sách
  3. 3
    Исследования по некласическим логикам и теории множеств

    Исследования по некласическим логикам и теории множеств

    Được phát hành Москва, Наука, 1979
    Sách
  4. 4
    Вып. 11

    Вып. 11

    Được phát hành 2004
    Sách
  5. 5
    Элементы неклассических логик и моделей вычислений учебно-методическое пособие

    Элементы неклассических логик и моделей вычислений учебно-методическое пособие Bằng Малышев Д. С.

    Được phát hành Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015
    lấy văn bản
    lấy văn bản
    Điện tử Sách
  6. 6
    Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие

    Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие Bằng Малышев Д. С.

    Được phát hành Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017
    lấy văn bản
    lấy văn bản
    Điện tử Sách
  7. 7
    Неклассические логики и лямбда-исчисление: некоторые элементы

    Неклассические логики и лямбда-исчисление: некоторые элементы Bằng Грибанов Д. В.

    Được phát hành Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021
    lấy văn bản
    lấy văn bản
    Điện tử Sách

Công cụ tìm kiếm: