Logic, Language, Information, and Computation More Books by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant & Anjolina G. de Oliveira

Intelligent Computer Mathematics Intelligent Computer Mathematics
2025
Advances in Natural Deduction Advances in Natural Deduction
2014