Valeria de Paiva

Bücher
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2025
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
2015
Advances in Natural Deduction Advances in Natural Deduction
Advances in Natural Deduction
2014