Sheila R. M. Veloso, Paulo A. S. Veloso. On Special Functions and Theorem Proving in Logics for Generally . In Guilherme Bittencourt, Geber Ramalho, editors, Advances in Artificial Intelligence, 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings. Volume 2507 of Lecture Notes in Computer Science, pages 1-10, Springer, 2002. [doi]
Abstract is missing.