第5世代コンピュータと論理

論理プログラミング
～ PROLOGと論理 ～

証明とプログラミング
～ もう一つの論理プログラミング ～

定理の自動証明

様相と時間
～ 論理学の新しい領域を求めて ～

あいまいさの論理

同時進行的システムと論理

並列計算の論理

発見の論理

FEM 11
～ 弾塑性解析の基礎 ～

私のパソコン入門　第2部-2

“我が太陽”を語る 第13話

生物のかたちづくり 10