資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築

資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築

Call No. (NDL): Y151-H11680359
Bibliographic ID of National Diet Library: 000007069677

Material type: 図書

Author: 田村, 直之;高橋, 真, 神戸大学

Publisher: -

Publication date: 1999-2000

Material Format: Paper

Capacity, size, etc.: -

NDC: -

Notes on use

Note (General)：: 文部省科学研究費補助金研究成果報告書付属資料 (CD-ROM1枚) は別置

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 Date: 1999-2000
Publication Date (W3CDTF): 1999
Extent: 冊
Additional Title: 研究種目基盤研究(C)
Subject Heading: 時相腺形論理ジソウセンケイロンリ
線形論理センケイロンリ
時相論理ジソウロンリ
論理型言語ロンリガタゲンゴ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
付属資料 (CD-ROM1枚) は別置
Research Project No. of Grants-in-Aid for Scientific Research: 11680359
Holding library: 国立国会図書館
Call No.: Y151-H11680359
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007069677
http://id.ndl.go.jp/bib/000007069677
Bibliographic Record Category (NDL): 214