論理体系の意味論と文法的性質の関係

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: 2000-2001
Publication Date (W3CDTF): 2000
Extent: 冊
Additional Title: 研究種目基盤研究(C)
Subject Heading: 様相部分構造命題論理ヨウソウブブンコウゾウメイダイロンリ
カツト除去カツトジヨキヨ
正規化セイキカ
文法的性質ブンホウテキセイシツ
explicit environment EXPLICITENVIRONMENT
context CONTEXT
代入操作ダイニユウソウサ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 12680329
Holding library: 国立国会図書館
Call No.: Y151-H12680329
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007079791
http://id.ndl.go.jp/bib/000007079791
Bibliographic Record Category (NDL): 214