プログラムのデータベースに関する研究

プログラムのデータベースに関する研究

Call No. (NDL): Y151-H16500071
Bibliographic ID of National Diet Library: 000010940791

Material type: 図書

Author: 宮本健司, 法政大学 [著]

Publisher: [宮本健司]

Publication date: 2004-2007

Material Format: Paper

Capacity, size, etc.: 43p

NDC: -

Notes on use

Note (General)：: 文部科学省科学研究費補助金研究成果報告書

Search by Bookstore

Search by Bookstore

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: プログラムのデータベースに関する研究
Title Transcription: プログラムノデータベースニカンスルケンキュウ
Author/Editor: 宮本健司, 法政大学 [著]
Author Heading: 宮本, 健司ミヤモト, ケンジ
法政大学ホウセイダイガク
Publication, Distribution, etc.: [宮本健司]
Publication Date: 2004-2007
2010.4
Publication Date (W3CDTF): 2004
2007
Extent: 43p
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: 仕様抽出 / 自動証明 / 再生産シヨウチュウシュツ / ジドウショウメイ / サイセイサン
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 16500071
Holding library: 国立国会図書館
Call No.: Y151-H16500071
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010940791
http://id.ndl.go.jp/bib/000010940791
Bibliographic Record Category (NDL): 214