,

Heráclito: Intelligent Tutoring System for Logic.

, , , и .
PAAMS, том 11523 из Lecture Notes in Computer Science, стр. 251-254. Springer, (2019)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии