抽象データタイプの代数的仕様記述法の基礎(1):多ソート代数と等式論理 - 文献詳細 - Ceek.jp Altmetrics

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

著者: 稲垣康善坂部俊樹
雑誌: 情報処理
巻号頁・発行日: vol.25, no.1, 1984-01-15

2017-06-08 22:10:00
1 はてなブックマーク

http://id.nii.ac.jp/1001/00006089/

言及状況

はてなブックマーク (1 users, 1 posts)

[プログラミング][数学] 多ソート代数と等式論理f - 情報学広場

収集済み URL リスト

https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=6089&item_no=1&attribute_id=1&file_no=1 (1)