( en | de | ru )

 

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.

João Carlos Schmidt

João Carlos Correia

João Carlos Alves Barata

João Carlos Palazzo Mello

João Carlos Oliveira Lopes

 

Weitere Publikationen von Autoren mit dem selben Namen

A Probabilistic Implementation of Emotional BDI Agents., und . ICAART (1), Seite 121-129. SciTePress, (2014)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)AMPLIA Learning Environment Architecture., , , , , , und . ICCE, Volume 133 von Frontiers in Artificial Intelligence and Applications, Seite 662-665. IOS Press, (2005)Heráclito: Learning Environment to Teach Logic., , , , und . PAAMS, Volume 10349 von Lecture Notes in Computer Science, Seite 316-320. Springer, (2017)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)A Probabilistic Approach to Represent Emotions Intensity into BDI Agents., und . ICAART (Revised Selected Papers), Volume 8946 von Lecture Notes in Computer Science, Seite 225-242. Springer, (2014)Heráclito: Intelligent Tutoring System for Logic., , , und . PAAMS, Volume 11523 von Lecture Notes in Computer Science, Seite 251-254. Springer, (2019)A Model of Pedagogical Negotiation., , , und . EPIA, Volume 3808 von Lecture Notes in Computer Science, Seite 488-499. Springer, (2005)