WEKO3
アイテム
付随式を用いる1階述語論理の妥当性検証手続
https://nitech.repo.nii.ac.jp/records/1705
https://nitech.repo.nii.ac.jp/records/17057cdb90b0-f432-4ac6-9427-6b6e751888d9
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
本文_fulltext (317.9 kB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper_04(1) | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-07-21 | |||||||||||||||
| タイトル | ||||||||||||||||
| タイトル | 付随式を用いる1階述語論理の妥当性検証手続 | |||||||||||||||
| 言語 | ja | |||||||||||||||
| タイトル | ||||||||||||||||
| タイトル | A Procedure for Checking Validities of Formulas by Using Adjoint Formulas | |||||||||||||||
| 言語 | en | |||||||||||||||
| 言語 | ||||||||||||||||
| 言語 | jpn | |||||||||||||||
| 資源タイプ | ||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||||||
| 著者 |
大芝, 猛
× 大芝, 猛
× 永田, 周郎
× 舟橋, 栄
|
|||||||||||||||
| 書誌情報 |
ja : 名古屋工業大學學報 巻 36, p. 109-112, 発行日 1985-03-31 |
|||||||||||||||
| 出版者 | ||||||||||||||||
| 出版者 | 名古屋工業大学 | |||||||||||||||
| 言語 | ja | |||||||||||||||
| ISSN | ||||||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||||||
| 収録物識別子 | 0369-3171 | |||||||||||||||
| 書誌レコードID | ||||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||||
| 収録物識別子 | AN00179603 | |||||||||||||||
| 著者版フラグ | ||||||||||||||||
| 出版タイプ | VoR | |||||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||||
