Значение слова "AUTOMATIC THEOREM PROVER" найдено в 1 источнике

AUTOMATIC THEOREM PROVER

найдено в "Англо-русском словаре по компьютерам"

программа (для) автоматического доказательства теорем

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z