Jump to main content
図書

構成的集合と余帰納的定義を用いたプログラム合成

Icons representing 図書

構成的集合と余帰納的定義を用いたプログラム合成

Call No. (NDL)
Y151-H12680346
Bibliographic ID of National Diet Library
000007631465
Material type
図書
Author
龍田真, 国立情報学研究所 [著]
Publisher
[龍田真]
Publication date
2000-2003
Material Format
Paper
Capacity, size, etc.
31p
NDC
-
View All

Notes on use

Note (General):

文部科学省科学研究費補助金研究成果報告書

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
コウセイテキ シュウゴウ ト ヨキノウテキ テイギ オ モチイタ プログラム ゴウセイ
Author/Editor
龍田真, 国立情報学研究所 [著]
Author Heading
龍田, 真 タツタ, マコト
国立情報学研究所 コクリツ ジョウホウガク ケンキュウジョ
Publication, Distribution, etc.
Publication Date
2000-2003
2004.5
Publication Date (W3CDTF)
2000
2003
Extent
31p
Additional Title
研究種目 基盤研究(C)