Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

1 0 0 0 抽象データタイプの代数的仕様記述法の基礎(1):多ソート代数と等式論理

著者
稲垣 康善 坂部 俊樹
出版者
一般社団法人情報処理学会
雑誌
情報処理 (ISSN:04478053)
巻号頁・発行日
vol.25, no.1, pp.p47-53, 1984-01-15
被引用文献数
18

言及状況

Wikipedia (1 pages, 1 posts, 1 contributors)

編集者: I.hidekazu
2020-08-24 08:14:30 の編集で削除されたか、リンク先が変更された可能性があります。

収集済み URL リスト