否定を持つ論理プログラミングの代数的意味論の研究
Author(s)
Bibliographic Information
否定を持つ論理プログラミングの代数的意味論の研究
(科学研究費補助金(基盤研究C)研究成果報告書, 平成15年度-平成17年度)
[東京電機大学], 2006.6
- Title Transcription
-
ヒテイロン オ モツ リロン プログラミング ノ ダイスウテキ イミロン ノ ケンキュウ
Available at / 3 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
本文は英文