Caros colegas, Necessito do artigo:
Consistency checking reduced to satisfiability of concepts in terminological systems *Author: * Hollunder B. *Source:* Annals of Mathematics and Artificial Intelligence<http://www.ingentaconnect.com/content/klu/amai;jsessionid=3iai56fpqqs4k.alexandra>, Volume 18, Numbers 2-4, 1997 , pp. 133-157(25) *Publisher: * Springer<http://www.ingentaconnect.com/content/klu;jsessionid=3iai56fpqqs4k.alexandra> Se alguém tiver acesso a esse artigo, por favor, envie-o por e-mail. Muito obrigado, Marcelo Rodrigues -------------------------------------------------------------------------------------------- Marcelo Rodrigues de Sousa, Prof. Dr. Faculdade de Computação Universidade Federal de Uberlândia (34) 99585050 (Cel.) (34) 32394478 (UFU) "Primeiro eles te ignoram, depois riem de você, depois brigam, e então você vence." (Mahatma Gandhi) _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
