Hakutulokset

Aihe-ehdotuksia
  • Näytetään 1 - 18 yhteensä 18 tuloksesta
Tarkenna hakua
  1. 1
    Логическое программирование и моделирование систем учебное пособие

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

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

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

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

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

    Julkaistu 2005
    Hae kokoteksti
    Elektroninen Kirjan osa
  4. 4
    Логика. Общий курс формальной логики учебник для вузов

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

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

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

    Julkaistu Томск, Изд-во ТПУ, 2008
    Hae kokoteksti
    Elektroninen Kirja
  6. 6
    Современная логика и методология науки сборник научных статей

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

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

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

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

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

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

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

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

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

    Julkaistu 1982
    Kirja
  11. 11
    Логика норм

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

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

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

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

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

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

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

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

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

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

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

    Julkaistu Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015
    Hae kokoteksti
    Hae kokoteksti
    Elektroninen Kirja
  17. 17
    Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие

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

    Julkaistu Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017
    Hae kokoteksti
    Hae kokoteksti
    Elektroninen Kirja
  18. 18
    Неклассические логики и лямбда-исчисление: некоторые элементы

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

    Julkaistu Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021
    Hae kokoteksti
    Hae kokoteksti
    Elektroninen Kirja

Työkalut: