Risultati della ricerca

Soggetti all'interno della tua ricerca.
  • Mostra 1 - 18 risultati su 18
Raffina i risultati
  1. 1
    Логическое программирование и моделирование систем учебное пособие

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

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

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

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

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

    Pubblicazione 2005
    Testo
    Elettronico Capitolo di libro
  4. 4
    Логика. Общий курс формальной логики учебник для вузов

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

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

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

    Pubblicazione Томск, Изд-во ТПУ, 2008
    Testo
    Elettronico Libro
  6. 6
    Современная логика и методология науки сборник научных статей

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

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

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

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

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

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

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

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

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

    Pubblicazione 1982
    Libro
  11. 11
    Логика норм

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

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

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

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

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

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

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

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

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

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

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

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

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

    Pubblicazione Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017
    Testo
    Testo
    Elettronico Libro
  18. 18
    Неклассические логики и лямбда-исчисление: некоторые элементы

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

    Pubblicazione Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021
    Testo
    Testo
    Elettronico Libro

Strumenti per la ricerca: