文字サイズ

  • 小
  • 中
  • 大

古書を探す

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

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

書籍データ

著者名:木下佳樹 著 ; 産業技術総合研究所 (システム検証研究センター) 編他の作品を見る

出版社:産業技術総合研究所

発売日:2008.9

10p 30cm

ISBN:

リクエストを送る

日本国際博覧会開催 - 昭和開催から55年、博覧会の記憶

米マイクロソフト社50年 - IT-情報技術の源流

反省記
反省記
¥1,000