автоматический подчеркивание

autoscore

Большой англо-русский и русско-английский словарь. 2001.

Смотреть что такое "автоматический подчеркивание" в других словарях:

  • Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …   Википедия

  • Список избыточных выражений — Это список некоторых часто встречающихся выражений, в которых одно из слов ничего не добавляет к смыслу выражения (плеоназмов). Как правило, следует избегать использования избыточных выражений, однако это не значит, что все приведённые здесь… …   Википедия

  • Марксизм — (Marxism) Определение марксизма, марксизм как идеология, философия марксизма Информация об определении марксизма, марксизм как идеология, философия марксизма Содержание Содержание 1. Биография Карла Маркса 2. Этапы развития 3. Марксизм и… …   Энциклопедия инвестора

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.