Attitudes of Spanish hospital staff towards COVID-19 vaccination and vaccination rates von Mena, Guillermo, Blanco, Beatriz, Casas, Irma, Huertas, Antonia, Sanchez, Maria-Araceli, Aunon, Mario, Vinas, Jordi, Esteve, Maria

Volltext

Understanding the Axioms and Assumptions of Logical Mathematical Systems through Raster Images: Application to the Construction of a Likert Scale von Viladevall, Queralt, Linares-Mustarós, Salvador, Huertas, Maria Antonia, Ferrer-Comalat, Joan-Carles

Volltext

Exorcising the phantom zone von Blackburn, Patrick, Martins, Manuel, Manzano, María, Huertas, Antonia

Volltext

Hybrid type theory: a quartet in four movements von Huertas Sánchez, María Antonia, Manzano, María, Areces, Carlos, Blackburn, Patrick

Volltext

HYBRID PARTIAL TYPE THEORY von MANZANO, MARÍA, HUERTAS, ANTONIA, BLACKBURN, PATRICK, MARTINS, MANUEL, ARANDA, VÍCTOR

Volltext

Completeness in Equational Hybrid Propositional Type Theory von Manzano, Maria, Martins, Manuel, Huertas, Antonia

Volltext

A Common Frame for Formal Imagination von Casas-Roma, Joan, Rodríguez, M. Elena, Huertas, Antonia

Volltext

The logic of imaginary scenarios von Casas-Roma, Joan, Huertas, Antonia, Elena Rodriguez, M.

Volltext

Teaching mathematics online in the european area of higher education: an instructors’ point of view von Juan Pérez, Angel Alejandro, Steegmann Pascual, Cristina, Huertas Sánchez, María Antonia, Martínez-Argüelles, María-Jesús, Simosa, J

Volltext

Completeness in Hybrid Type Theory von Areces, Carlos, Blackburn, Patrick, Huertas, Antonia, Manzano, María

Volltext

Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned von Huertas, Antonia

Volltext

Lógicas para la red von Antonia HUERTAS

Volltext

Teaching and Learning Logic in a Virtual Learning Environment von Huertas, Antonia

Volltext

Endoscopic removal of intrauterine device penetrated through the rectal wall Extracción endoscópica de dispositivo intrauterino penetrado en recto von María Antonia Huertas-Velasco, Mariano Gómez-Rubio

Volltext

Designing Learning Tools: The Case of a Competence Assessment Tool von Mor, Enric, Guerrero-Roldán, Ana-Elena, Hettiarachchi, Enosha, Huertas, M. Antonia

Volltext

Endoscopic removal of intrauterine device penetrated through the rectal wall von Huertas-Velasco, M A, Gómez-Rubio, M

Volltext

Rigid First-Order Hybrid Logic von Blackburn, Patrick, Martins, Manuel A., Manzano, María, Huertas, Antonia

Volltext

Hybrid Type Theory: A Quartet in Four MovementsDOI:10.5007/1808-1711.2011v15n2p225 von Areces, Carlos, Blackburn, Patrick, Huertas, Antonia, Manzano, María

Volltext

Explaining the inter-relationship between learning activities, the evaluation process and the acquisition of competences von Ana Elena Guerrero-Roldán, María Antonia Huertas, Enric Mor, María Elena Rodríguez

Volltext

Enseñanza de las matemáticas asistida por las tecnologías del aprendizaje y la comunicación: el proyecto M@thelearning von Steegmann Pascual, Cristina, Juan Pérez, Ángel Alejandro, Huertas Sánchez, María Antonia

Volltext