geodimetro
geodìmetro s. m. [comp. di geo- e di (stanzio)metro]. – In topografia, distanziometro di grandissima precisione su piccole distanze, utilizzante un fascio di luce modulata, secondo il principio dei radar a modulazione di frequenza.
