Применение методов математической логики. Секция : Логика взаимодействующих процессов. Секция : Алгоритмика трудных задач тезисы докладов IV Всесоюзной конференции

समान संसाधन

• Применение методов математической логики. Секция : Представление знаний и синтез программ тезисы докладов IV Всесоюзной конференции
  प्रकाशित: (Таллин, Изд-во ин-та кибернетики, 1986)
• Стабильные теории учебное пособие
  द्वारा: Мустафин Т. Г. Туленды Гарифович
  प्रकाशित: (Караганда, Изд-во Карагандийского гос. ун-та, 1981)
• Математическая логика учебное пособие
  द्वारा: Игошин В. И. Владимир Иванович
  प्रकाशित: (Москва, Инфра-М, 2012)
• Математическая логика учебное пособие
  द्वारा: Игошин В. И. Владимир Иванович
  प्रकाशित: (Москва, Инфра-М, 2019)
• Логические уравнения
  द्वारा: Закревский А. Д. Аркадий Дмитриевич
  प्रकाशित: (Минск, Наука и техника, 1975)