数理科学 1984年11月号

書影
数理科学 1984年11月号 No.257

応用論理

定価:
880
(本体:800円+税)

発行月:1984年11月

JAN:4910054691146

在庫:品切れ

内容詳細

表紙CGコメント

目次

特集

  • 第5世代コンピュータと論理
    淵 一博
  • 論理プログラミング
    ~ PROLOGと論理 ~
    坂井 公
  • 証明とプログラミング
    ~ もう一つの論理プログラミング ~
    林 晋
  • 定理の自動証明
    西村敏男
  • 様相と時間
    ~ 論理学の新しい領域を求めて ~
    杉原丈夫
  • あいまいさの論理
    塚本弥八郎
  • 同時進行的システムと論理
    山崎秀記
  • 並列計算の論理
    河田 亨
  • 発見の論理
    柴垣和三雄

連載

  • FEM 11
    ~ 弾塑性解析の基礎 ~
    横内康人
  • 私のパソコン入門 第2部-2
    川合 慧
  • “我が太陽”を語る 第13話
    桜井邦朋
  • 生物のかたちづくり 10
    土居洋文

サポート情報

関連雑誌

言語

880円(税込)

量子力学

2,200円(税込)

境界要素法の新展開

880円(税込)