プログラム生成系GeneSysにおける等式仕様への否定の導入

プログラム生成系GeneSysにおける等式仕様への否定の導入

Bibliographic Details
Main Authors: NISHIDA, Naoki, KUSAKARI, Keiichirou, SAKABE, Toshiki, SAKAI, Masahiko, KONDO, Satoru, 西田, 直樹, 草刈, 圭一郎, 坂部, 俊樹, 酒井, 正彦, 近藤, 悟
Language:ja
Published: 一般社団法人電子情報通信学会 2007
Subjects:
否定記号
等式仕様
項書換え系
プログラム生成
Online Access:http://hdl.handle.net/2237/21102
http://ci.nii.ac.jp/naid/110006549281

Internet

http://hdl.handle.net/2237/21102
http://ci.nii.ac.jp/naid/110006549281

Similar Items