Keyword:test

Papers
Determination of Multiple Intelligences in Mexican Engineering Students Carolina Lugo and Rafael García EasyChair Preprint no. 8666
Teaching-Learning Process for Academic Excellence and to Achieve NEP-2020 Goals M Raman Kumar, R.S Raju, G Vallathan and Kalyan Kasturi EasyChair Preprint no. 7688
GridTPT: a distributed platform for Theorem Prover Testing Thomas Bouton, Diego Caminha B de Oliveira, David Deharbe and Pascal Fontaine In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning