論理的プログラム及びその基礎数理

Notes on use

Search by Bookstore

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

Material Type: 図書
Title: 論理的プログラム及びその基礎数理
Title Transcription: ロンリテキプログラムオヨビソノキソスウリ
Author/Editor: 五十嵐, 滋, 筑波大学
Author Heading: 五十嵐, 滋イガラシ, シゲル
Publication Date: 1997-1999
Publication Date (W3CDTF): 1997
Extent: 冊
Additional Title: 研究種目基盤研究(C)
Subject Heading: 実時間システムの検証ジツジカンシステムノケンシヨウ
エンヴエロープ理論エンヴエロープリロン
SOFA SOFA
音楽情報処理オンガクジヨウホウシヨリ
Tense Arithmetic TENSEARITHMETIC
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 09680322
Holding library: 国立国会図書館
Call No.: Y151-H09680322
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007058034
http://id.ndl.go.jp/bib/000007058034
Bibliographic Record Category (NDL): 214