Towards Type System by Computer Algebra Systems in Programming Language : Extended Abstract (Developments in Computer Algebra Research)

宮下, 尚; 山口, 哲; 岩ヶ谷, 崇; 易, 軍

ダウンロード数: 111

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

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

ファイル	記述	サイズ	フォーマット
1927-15.pdf		589.31 kB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	宮下, 尚	ja
dc.contributor.author	山口, 哲	ja
dc.contributor.author	岩ヶ谷, 崇	ja
dc.contributor.author	易, 軍	ja
dc.contributor.alternative	MIYASHITA, Hisashi	en
dc.contributor.alternative	YAMAGUCHI, Tetsu	en
dc.contributor.alternative	IWAGAYA, Takashi	en
dc.contributor.alternative	EKI, Gun	en
dc.contributor.transcription	ミヤシタ, ヒサシ	ja
dc.contributor.transcription	ヤマグチ, テツ	ja
dc.contributor.transcription	イワガヤ, タカシ	ja
dc.contributor.transcription	エキ, グン	ja
dc.date.accessioned	2017-04-27T05:14:55Z	-
dc.date.available	2017-04-27T05:14:55Z	-
dc.date.issued	2014-12	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/223514	-
dc.format.mimetype	application/pdf	-
dc.language.iso	eng	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject.ndc	410	-
dc.title	Towards Type System by Computer Algebra Systems in Programming Language : Extended Abstract (Developments in Computer Algebra Research)	en
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	1927	-
dc.identifier.spage	128	-
dc.identifier.epage	130	-
dc.textversion	publisher	-
dc.identifier.artnum	KJ00009602940	-
dc.sortkey	15	-
dc.address	サイバネットシステム株式会社	ja
dc.address	/ サイバネットシステム株式会社	ja
dc.address	サイバネットシステム株式会社	ja
dc.address.alternative	Cybernet Systems	en
dc.address.alternative	Maplesoft	en
dc.address.alternative	Cybernet Systems	en
dc.address.alternative	Cybernet Systems	en
dcterms.accessRights	open access	-
出現コレクション:	1927 数式処理研究の新たな発展

アイテムの簡略レコードを表示する

Export to RefWorks

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