Você não deixa claro na sua pergunta como você configurou a resolução de nomes na sua rede para o seu servidor. Você tem um servidor DNS configurado com o nome do servidor ou adicionou o nome do servidor ao arquivo de hosts em seu cliente.
Algumas maneiras de progredir aqui:
Verifique no arquivo / etc / hosts por uma entrada do formulário: server_ipaddress servername
ou
Tente
$ sudo mount server_ip_address:/export/users /mnt
ou
Tente:
$ sudo mount servername.local:/export/users /mnt
Eu acho que o 13.04 implanta o avahi por padrão, que fornece um serviço chamado multicast dns usando isso, permitindo que todos os hosts sejam identificados como hostname.local
HTH
Rob