المؤلفون: Nieuwenhuis, R., Oliveras, A., Rodriguez-Carbonell, E.

المصدر: IEEE Access Access, IEEE. 9:122578-122588 2021

المؤلفون: Nieuwenhuis, R., Oliveras, A., Rodriguez-Carbonell, E., Rollon, E.

المصدر: IEEE Access Access, IEEE. 9:142095-142104 2021

المؤلفون: Petit, J., Roura, S., Carmona, J., Cortadella, J., Duch, J., Gimenez, O., Mani, A., Mas, J., Rodriguez-Carbonell, E., Rubio, E., de San Pedro, E., Venkataramani, D.

المصدر: IEEE Transactions on Learning Technologies IEEE Trans. Learning Technol. Learning Technologies, IEEE Transactions on. 12(2):290-290 Jun, 2019

المؤلفون: Petit, J., Roura, S., Carmona, J., Cortadella, J., Duch, J., Gimenez, O., Mani, A., Mas, J., Rodriguez-Carbonell, E., Rubio, E., Pedro, E.d.S., Venkataramani, D.

المصدر: IEEE Transactions on Learning Technologies IEEE Trans. Learning Technol. Learning Technologies, IEEE Transactions on. 11(3):321-333 Sep, 2018

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Rodríguez-Carbonell, E., Kapur, D.

المصدر: In Journal of Symbolic Computation 2007 42(4):443-476

المؤلفون: Bofill, M., Nieuwenhuis, R., Oliveras, A., Rodriguez-Carbonell, E., Rubio, A.

المصدر: 2008 Formal Methods in Computer-Aided Design; 2008, p1-8, 8p

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.