Результати пошуку

Рекомендовані теми у межах Вашого пошуку.
  • Показ 1 - 18 результатів із 18
Уточнити результати
  1. 1
    Логическое программирование и моделирование систем учебное пособие

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

    Опубліковано Томск, Изд-во ТПУ, 2008
    Книга
  2. 2
    Модальная логика

    Модальная логика за авторством Ивлев Ю. В. Юрий Васильевич

    Опубліковано Москва, Изд-во МГУ, 1991
    Книга
  3. 3
    Использование модальной логики для проектирования оболочек экспертных систем

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

    Опубліковано 2005
    Отримати повний текст
    Електронний ресурс Частина з книги
  4. 4
    Логика. Общий курс формальной логики учебник для вузов

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

    Опубліковано Москва, ЮНИТИ, 2010
    Книга
  5. 5
    Логическое программирование и моделирование систем учебное пособие электронный ресурс

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

    Опубліковано Томск, Изд-во ТПУ, 2008
    Отримати повний текст
    Електронний ресурс Книга
  6. 6
    Современная логика и методология науки сборник научных статей

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

    Опубліковано Москва, Изд-во МГУ, 1987
    Книга
  7. 7
    Ошибки управления. Психологические причины. Метод автоматизированного анализа

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

    Опубліковано Таллин, Валгус, 1985
    Книга
  8. 8
    Философские основания научной теории

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

    Опубліковано Новосибирск, Наука, 1985
    Книга
  9. 9
    Философские проблемы логики. Семантические аспекты

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

    Опубліковано Москва, Высшая школа, 1984
    Книга
  10. 10
    Неклассические логики и их применение

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

    Опубліковано 1982
    Книга
  11. 11
    Логика норм

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

    Опубліковано Москва, Изд-во Московского ун-та, 1973
    Книга
  12. 12
    Теория логического вывода

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

    Опубліковано Москва, Наука, 1973
    Книга
  13. 13
    Логика и онтология

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

    Опубліковано Москва, Наука, 1978
    Книга
  14. 14
    Математика метаматематики пер. с англ.

    Математика метаматематики пер. с англ. за авторством Расева Е. Елена

    Опубліковано Москва, Наука, 1972
    Книга
  15. 15
    Значение и необходимость. Исследование по семантике и модальной логике пер. с англ.

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

    Опубліковано Москва, Изд-во иностранной литературы, 1959
    Книга
  16. 16
    Элементы неклассических логик и моделей вычислений учебно-методическое пособие

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

    Опубліковано Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015
    Отримати повний текст
    Отримати повний текст
    Електронний ресурс Книга
  17. 17
    Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие

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

    Опубліковано Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017
    Отримати повний текст
    Отримати повний текст
    Електронний ресурс Книга
  18. 18
    Неклассические логики и лямбда-исчисление: некоторые элементы

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

    Опубліковано Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021
    Отримати повний текст
    Отримати повний текст
    Електронний ресурс Книга

Інструменти для пошуку: