Электронные технологии и теория формальных доказательств в гражданском судо-производстведоклад на конференции