否定を持つ論理プログラミングの代数的意味論の研究

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, Distribution, etc.: [近藤通朗]
Publication Date: 2003-2005
2006.6
Publication Date (W3CDTF): 2003
2005
Extent: 1冊
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: bilattice / 不動点意味論 / 様相演算子 / t-norm / BCK-代数 bilattice / フドウテンイミロン / ヨウソウエンザンシ / t-norm / BCK-ダイスウ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 15500016
Holding library: 国立国会図書館
Call No.: Y151-H15500016
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008323523
http://id.ndl.go.jp/bib/000008323523
Bibliographic Record Category (NDL): 214