Logic, Language, Information, and Computation المزيد من كتب Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant & Anjolina G. de Oliveira

Intelligent Computer Mathematics

٢٠٢٥

Advances in Natural Deduction

٢٠١٤