Аппликативные вычислительные системы компьютерной логикидоклад на конференции