Bilaketaren emaitzak

Proposatutako topikoa bilaketarako iradokizunak
  • Erakusten 1 - 18 emaitzak -- 18
Findu emaitzak
  1. 1
    Логическое программирование и моделирование систем учебное пособие

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

    Argitaratua Томск, Изд-во ТПУ, 2008
    Liburua
  2. 2
    Модальная логика

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

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

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

    Argitaratua 2005
    Testu osoa
    Baliabide elektronikoa Liburu kapitulua
  4. 4
    Логика. Общий курс формальной логики учебник для вузов

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

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

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

    Argitaratua Томск, Изд-во ТПУ, 2008
    Testu osoa
    Baliabide elektronikoa Liburua
  6. 6
    Современная логика и методология науки сборник научных статей

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

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

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

    Argitaratua Таллин, Валгус, 1985
    Liburua
  8. 8
    Философские основания научной теории

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

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

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

    Argitaratua Москва, Высшая школа, 1984
    Liburua
  10. 10
    Неклассические логики и их применение

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

    Argitaratua 1982
    Liburua
  11. 11
    Логика норм

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

    Argitaratua Москва, Изд-во Московского ун-та, 1973
    Liburua
  12. 12
    Теория логического вывода

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

    Argitaratua Москва, Наука, 1973
    Liburua
  13. 13
    Логика и онтология

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

    Argitaratua Москва, Наука, 1978
    Liburua
  14. 14
    Математика метаматематики пер. с англ.

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

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

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

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

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

    Argitaratua Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015
    Testu osoa
    Testu osoa
    Baliabide elektronikoa Liburua
  17. 17
    Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие

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

    Argitaratua Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017
    Testu osoa
    Testu osoa
    Baliabide elektronikoa Liburua
  18. 18
    Неклассические логики и лямбда-исчисление: некоторые элементы

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

    Argitaratua Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021
    Testu osoa
    Testu osoa
    Baliabide elektronikoa Liburua

Bilaketa egiteko lanabesak: