古代ギリシャ哲学、その学び方への招待(3)ポリス社会が誕生するまでのギリシャ小史

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• 二分決定グラフを用いた項書換え系の停止性検証
• ハイパーテキスト・マークアップ言語によるネットワーク環境学習システムの試作
• 条件付き項書換え系に基づく言語におけるメタ計算(並列・分散)
• 拡張ステータスによる項書換え系の停止性検証
• ハイパーテキスト・マークアップ言語によるネットワーク環境学習システムの試作

もっと見る

スポンサーリンク