Значение слова КРАВЧИК в Большой советской энциклопедии, БСЭ

КРАВЧИК

жук семейства пластинчатоусых; то же, что головач .

Большая советская энциклопедия, БСЭ.