定理証明的手法を用いた回路の自動合成 : 帰納方程式から回路への変換(アルゴリズムの数学的基礎理論とその応用)

このアイテムのアクセス数: 142

http://hdl.handle.net/2433/99477

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
0591-7.pdf		1.1 MB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	原尾, 政輝	ja
dc.contributor.author	岩沼, 宏治	ja
dc.contributor.alternative	HaRAO, Masateru	en
dc.contributor.alternative	IWANUMA, Kouji	en
dc.contributor.transcription	ハラオ, マサテル	ja
dc.contributor.transcription	イワヌマ, コウジ	ja
dc.date.accessioned	2010-03-03T06:03:40Z	-
dc.date.available	2010-03-03T06:03:40Z	-
dc.date.issued	1986-05	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/99477	-
dc.format.mimetype	application/pdf	-
dc.language.iso	jpn	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject.ndc	410	-
dc.title	定理証明的手法を用いた回路の自動合成 : 帰納方程式から回路への変換(アルゴリズムの数学的基礎理論とその応用)	ja
dc.title.transcription	テイリショウメイテキシュホウオモチイタカイロノジドウゴウセイキノウホウテイシキカラカイロエノヘンカンアルゴリズムノスウガクテキキソリロントソノオウヨウ	ja-Kana
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	591	-
dc.identifier.spage	65	-
dc.identifier.epage	73	-
dc.textversion	publisher	-
dc.sortkey	07	-
dc.address	山形大学工学部情報工学科	ja
dc.address	山形大学工学部情報工学科	ja
dcterms.accessRights	open access	-
出現コレクション:	0591 アルゴリズムの数学的基礎理論とその応用

このリポジトリに保管されているアイテムはすべて著作権により保護されています。