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

詳細情報 詳細情報について

• CRID

  1050282810820545664

• NII論文ID

  110009875177

• NII書誌ID

  AN00061013

• ISSN

  18802818

• HANDLE

  2433/223514

• NDL書誌ID

  026182979

• Web Site

  http://id.ndl.go.jp/bib/026182979

  https://ndlsearch.ndl.go.jp/books/R000000004-I026182979

• 本文言語コード

  en

• 資料種別

  departmental bulletin paper

• データソース種別

  • IRDB
  • NDL
  • CiNii Articles