PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Gluz, João Carlos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Student Model for Teaching Natural Deduction Based on a Prover That Mimics Student Reasoning.

, , , , und . Intelligent Tutoring Systems, Volume 8474 von Lecture Notes in Computer Science, Seite 482-489. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Carlos Peiro Frasquet University of Stuttgart

Carlos Sánchez Delgado University of Stuttgart

Carlos Eduardo Jimenez University of Stuttgart

Carlos Rafael Castillo Saldarriaga University of Stuttgart

Carlos Victor Quijano Chavez University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

An Intelligent Tutoring System (ITS) view on AOSE., und . IJAOSE, 1 (3/4): 295-333 (2007)Aligning Ontologies to Bring Semantics to Learning Object Search., , und . Intelligent Tutoring Systems, Volume 8474 von Lecture Notes in Computer Science, Seite 619-620. Springer, (2014)Formal Analysis of a Probabilistic Knowledge Communication Framework., , , und . IBERAMIA-SBIA, Volume 4140 von Lecture Notes in Computer Science, Seite 138-148. Springer, (2006)AMPLIA Learning Environment Architecture., , , , , , und . ICCE, Volume 133 von Frontiers in Artificial Intelligence and Applications, Seite 662-665. IOS Press, (2005)The Socio-Cultural Approach to Software Engineering and its Application to Modeling a Virtual Learning Environment., , und . SOCIALEDU, Volume 606 von Communications in Computer and Information Science, Seite 83-103. Springer, (2015)Identifying Knowledge from the Application of Natural Deduction Rules in Propositional Logic., , , und . PAAMS, Volume 11523 von Lecture Notes in Computer Science, Seite 66-77. Springer, (2019)Towards a Semantic Repository for Learning Objects: Design and Evaluation of Core Services., , , und . J. UCS, 22 (1): 16-36 (2016)An Agent-Based Infrastructure for the Support of Learning Objects Life-Cycle., , und . ITS, Volume 7315 von Lecture Notes in Computer Science, Seite 696-698. Springer, (2012)An OWL Ontology for IEEE-LOM and OBAA Metadata., und . ITS, Volume 7315 von Lecture Notes in Computer Science, Seite 691-693. Springer, (2012)Heráclito: Learning Environment to Teach Logic., , , , und . PAAMS, Volume 10349 von Lecture Notes in Computer Science, Seite 316-320. Springer, (2017)