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 - 18 kết quả của 18
Tinh chỉnh kết quả
  1. 1
    Логическое программирование и моделирование систем учебное пособие

    Логическое программирование и моделирование систем учебное пособие Bằng Новосельцев В. Б. Виталий Борисович

    Được phát hành Томск, Изд-во ТПУ, 2008
    Sách
  2. 2
    Модальная логика

    Модальная логика Bằng Ивлев Ю. В. Юрий Васильевич

    Được phát hành Москва, Изд-во МГУ, 1991
    Sách
  3. 3
    Использование модальной логики для проектирования оболочек экспертных систем

    Использование модальной логики для проектирования оболочек экспертных систем Bằng Ларионов Д. С.

    Được phát hành 2005
    lấy văn bản
    Điện tử Chương của sách
  4. 4
    Логика. Общий курс формальной логики учебник для вузов

    Логика. Общий курс формальной логики учебник для вузов Bằng Грядовой Д. И. Дмитрий Иосифович

    Được phát hành Москва, ЮНИТИ, 2010
    Sách
  5. 5
    Логическое программирование и моделирование систем учебное пособие электронный ресурс

    Логическое программирование и моделирование систем учебное пособие электронный ресурс Bằng Новосельцев В. Б. Виталий Борисович

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

    Современная логика и методология науки сборник научных статей

    Được phát hành Москва, Изд-во МГУ, 1987
    Sách
  7. 7
    Ошибки управления. Психологические причины. Метод автоматизированного анализа

    Ошибки управления. Психологические причины. Метод автоматизированного анализа Bằng Котик М. А. Михаил Аркадьевич

    Được phát hành Таллин, Валгус, 1985
    Sách
  8. 8
    Философские основания научной теории

    Философские основания научной теории

    Được phát hành Новосибирск, Наука, 1985
    Sách
  9. 9
    Философские проблемы логики. Семантические аспекты

    Философские проблемы логики. Семантические аспекты Bằng Целищев В. В. Виталий Валентинович

    Được phát hành Москва, Высшая школа, 1984
    Sách
  10. 10
    Неклассические логики и их применение

    Неклассические логики и их применение

    Được phát hành 1982
    Sách
  11. 11
    Логика норм

    Логика норм Bằng Ивин А. А. Александр Архипович

    Được phát hành Москва, Изд-во Московского ун-та, 1973
    Sách
  12. 12
    Теория логического вывода

    Теория логического вывода

    Được phát hành Москва, Наука, 1973
    Sách
  13. 13
    Логика и онтология

    Логика и онтология

    Được phát hành Москва, Наука, 1978
    Sách
  14. 14
    Математика метаматематики пер. с англ.

    Математика метаматематики пер. с англ. Bằng Расева Е. Елена

    Được phát hành Москва, Наука, 1972
    Sách
  15. 15
    Значение и необходимость. Исследование по семантике и модальной логике пер. с англ.

    Значение и необходимость. Исследование по семантике и модальной логике пер. с англ. Bằng Карнап Р. Рудольф

    Được phát hành Москва, Изд-во иностранной литературы, 1959
    Sách
  16. 16
    Элементы неклассических логик и моделей вычислений учебно-методическое пособие

    Элементы неклассических логик и моделей вычислений учебно-методическое пособие 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
  17. 17
    Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие

    Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие 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
  18. 18
    Неклассические логики и лямбда-исчисление: некоторые элементы

    Неклассические логики и лямбда-исчисление: некоторые элементы 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: