Якубов, Р. С. Электронно-вычислительные машины как средство совершения налоговых преступлений [Текст] / Р. С. Якубов // Вестник Челябинского университета. Сер. 9, Право. - 2004. - N 1. - С. . 109-111. - Примеч.: с. 111 (2 назв. ). - RUMARS-vch904_000_001_0109_1
Рубрики: Право--Уголовное право--Уголовно-процессуальное право Кл.слова (ненормированные): налоговые преступления -- расследование налоговых преступлений -- преступления -- налоговые правонарушения -- правонарушения -- электронно-вычислительные машины -- компьютерная техника -- компьютерная преступность -- преступность -- компьютерное доказательство -- доказательство -- программно-компьютерная экспертиза -- экспертиза -- бухгалтерские программы Аннотация: Обозначаются цели, для достижения которых преступники используют средства компьютерной техники, определяются задачи, которые стоят перед следователем при расследовании налоговых преступлений, отмечаются факторы, оказывающие негативное влияние на процесс расследования. Нет сведений об экземплярах (Источник в БД не найден) |
Хлебалин, А. В. Интерактивное доказательство: верификация и генерирование нового математического мышления [Текст] / А. В. Хлебалин // Философия науки. - 2020. - № 1. - С. 87-95. - Библиогр.: с. 95 (7 назв. ) . - ISSN 1560-7488
Рубрики: Математика Математическая логика Кл.слова (ненормированные): автоматизированные системы в математике -- верификация -- гомотопная теория типов -- компьютерное доказательство -- математическое мышление -- эпистемология математики Аннотация: Рассматриваются классические вопросы эпистемологии математики в связи с применением компьютерных систем в математическом исследовании. Нет сведений об экземплярах (Источник в БД не найден) |