Um Estudo sobre os Algoritmos de Unificação de Termo do Cálculo de Predicados de Primeira Ordem

© 2015 PESC/COPPE - Program Systems Engineering and Computer Science

Cidade Universitária, Centro de Tecnologia, block H, room 319

Rio de Janeiro - RJ - Brasil - Post office box: 68511 - CEP: 21941-972

Phones: +55 21 3938-8672 / +55 21 3938-8673 - Fax: +55 21 3938-8676

Working hours of the Secretariat: 2a. 6th. 7:00 to 16:00 hours (except school holidays)