Доказательство правильности программ

Ижил төстэй зүйлс

• Доказательство правильности программ =Proving programs correct
  -н: Андерсон Р.
  Хэвлэсэн: (1982)
• Математическая логика и автоматическое доказательство теорем
  -н: Чень Ч., Ли Р.
  Хэвлэсэн: (1983)
• Математическая логика и автоматическое доказательство теорем
  -н: Чень, Ч.; Тян-Ли, Р.
  Хэвлэсэн: (1983)
• Задачи на доказательство по алгебре Пособие для учителя
  -н: Баранова И.В., Ляпин С.Е
  Хэвлэсэн: (1954)
• Сборник задач на доказательство по геометрии для 6-7 классов Пособие для учителей
  -н: Немытов П.А
  Хэвлэсэн: (1956)