519.6(075)
М53	Месюра, В. І.     Математичні основи логічного програмування [Електронний ресурс] : навчальний посібник / В. І. Месюра, Н. В. Лисак, О. І. Суприган ; ВНТУ. – Електронні текстові дані. – Вінниця : ВНТУ, 2013.    В посібнику розглянуті математичні основи логічного програмування.

УДК [519.6+510.6](075)