Αποτελέσματα αναζήτησης

Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
  • Εμφανίζονται 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
    Λήψη πλήρους κειμένου
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Βιβλίο

Εργαλεία αναζήτησης: