Return to search

条件付き等式の変換に基づくプログラム生成

No description available.

1. http://hdl.handle.net/2237/21105
2. http://ci.nii.ac.jp/naid/110008001255
3. 0913-5685
4. 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス. v.109, n.343, 2009, p.37-42

Identifer	oai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/21105
Date	12 1900
Creators	KUSAKARI Keiichirou, NISHIDA, Naoki, SAKABE, Toshiki, SAKAI, Masahiro, NAGASHIMA, Masanori, 草刈, 圭一朗, 西田, 直樹, 坂部, 俊樹, 酒井, 正彦, 長島, 正憲
Publisher	一般社団法人電子情報通信学会
Source Sets	Nagoya University
Language	Japanese
Detected Language	Japanese
Type	Article(publisher)
Rights	(c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである