Invia SMS: Методы представления знаний и доказательное программирование: сборник научных трудов