「F.4; I.2.3; K.3.1」カテゴリーアーカイブ

要約 イザベル証明アシスタントを使用して、自動推論のコースで学生の学習成果をテス … 続きを読む →