Logic, Language, Information, and Computation Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant & Anjolina G. de Oliveira의 도서 더 보기

Intelligent Computer Mathematics

2025년

Advances in Natural Deduction

2014년