図書

Agda言語について (算譜科学研究速報 ; AIST-PS-2008-14)

Icons representing 図書

Agda言語について

(算譜科学研究速報 ; AIST-PS-2008-14)

Call No. (NDL)
Y251-J512
Bibliographic ID of National Diet Library
000009683646
Material type
図書
Author
木下佳樹 [著]ほか
Publisher
産業技術総合研究所
Publication date
2008.9
Material Format
Paper
Capacity, size, etc.
10p ; 30cm
NDC
-
View All

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
Agda ゲンゴ ニ ツイテ
Author/Editor
木下佳樹 [著]
産業技術総合研究所 (システム検証研究センター) 編
Publication, Distribution, etc.
Publication Date
2008.9
Publication Date (W3CDTF)
2008
Extent
10p
Size
30cm