ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 情報科学研究

古典述語論理計算LKの拡張とその応用

https://hannan-u.repo.nii.ac.jp/records/517
https://hannan-u.repo.nii.ac.jp/records/517
9598ec8e-3f42-4c67-aa55-89ec3a684351
名前 / ファイル ライセンス アクション
古典述語論理計算LKの拡張とその応用.pdf 古典述語論理計算LKの拡張とその応用 (1.7 MB)
Item type 紀要論文(ELS) / Departmental Bulletin Paper(1)
公開日 2015-10-01
タイトル
タイトル 古典述語論理計算LKの拡張とその応用
言語 ja
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_6501
資源タイプ departmental bulletin paper
ページ属性
内容記述タイプ Other
内容記述 P(論文)
言語 ja
記事種別(日)
言語 ja
値 論文
著者名(日) 和泉, 孔二

× 和泉, 孔二

WEKO 278

ja 和泉, 孔二

ja-Kana イズミ, コウジ

en IZUMI, Koji

Search repository
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN10070338
書誌情報 ja : 情報科学研究
en : Information science

号 4, p. 48-58, 発行日 1990-03
戻る
0
views
See details
Views

Versions

Ver.1 2023-06-20 14:35:49.059096
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3