Resultats de la cerca

Matèries dins de la cerca
  • Mostrar 1 - 18 resultats de 18
Refinar resultats
  1. 1
    Логическое программирование и моделирование систем учебное пособие

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

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

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

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

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

    Publicat 2005
    Obtenir text complet
    Electrònic Capítol de llibre
  4. 4
    Логика. Общий курс формальной логики учебник для вузов

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

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

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

    Publicat Томск, Изд-во ТПУ, 2008
    Obtenir text complet
    Electrònic Llibre
  6. 6
    Современная логика и методология науки сборник научных статей

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

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

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

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

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

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

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

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

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

    Publicat 1982
    Llibre
  11. 11
    Логика норм

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

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

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

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

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

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

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

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

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

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

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

    Publicat Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015
    Obtenir text complet
    Obtenir text complet
    Electrònic Llibre
  17. 17
    Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие

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

    Publicat Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017
    Obtenir text complet
    Obtenir text complet
    Electrònic Llibre
  18. 18
    Неклассические логики и лямбда-исчисление: некоторые элементы

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

    Publicat Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021
    Obtenir text complet
    Obtenir text complet
    Electrònic Llibre

Eines de cerca: