Математическая логика и автоматическое доказательство теорем

Схожие документы

• Математическая логика и автоматическое доказательство теорем
  по: Чень, Ч.; Тян-Ли, Р.
  Опубликовано: (1983)
• Гунигийн теорем
  по: Бурич В.
  Опубликовано: (2008)
• Доказательство правильности программ
  по: Андерсон Р.
  Опубликовано: (1982)
• Математическая логика
  по: Ершов Ю.Л., Палютин Е.А
  Опубликовано: (1979)
• Математическая логика
  по: Эдельман С.Л
  Опубликовано: (1975)