( en | de | ru )

 

Disambiguation of "Huertas, Antonia"

Author of the publication

copydeleteadd this publication to your clipboard
Rigid First-Order Hybrid Logic.

, , , and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 53-69. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marilú Liliana Huertas Schneider

Antonia Scharf

Antonia Nolte

Antonia Hillejan

Antonia Staatz

 

Other publications of authors with the same name

The SELL Project: A Learning Tool for E-Learning Logic., , , and . TICTTL, volume 6680 of Lecture Notes in Computer Science, page 123-130. Springer, (2011)Teaching and Learning Logic in a Virtual Learning Environment.. Logic Journal of the IGPL, 15 (4): 321-331 (2007)Solving MaxSAT with Natural Deduction., , and . CCIA, volume 300 of Frontiers in Artificial Intelligence and Applications, page 186-195. IOS Press, (2017)Rigid First-Order Hybrid Logic., , , and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 53-69. Springer, (2019)Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned.. TICTTL, volume 6680 of Lecture Notes in Computer Science, page 131-140. Springer, (2011)Tool Development to Support Learning, Immediate Feedback, and Continuous Assessment in Logic., and . WEBIST (2), page 222-225. INSTICC Press, (2010)978-989-674-025-2.Designing Learning Tools: The Case of a Competence Assessment Tool., , , and . HCI (14), volume 8523 of Lecture Notes in Computer Science, page 83-94. Springer, (2014)A Technology Enhanced Assessment System for Skill and Knowledge Learning., , , and . CSEDU (2), page 184-191. SciTePress, (2014)An Architecture for Technology-Enhanced Assessment of High Level Skill Practice., , , and . ICALT, page 38-39. IEEE Computer Society, (2012)Repositorio abierto de locuciones de fórmulas matemáticas., , , , and . SPDECE, volume 318 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)