書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究

Call No. (NDL): Y151-H15500009
Bibliographic ID of National Diet Library: 000008381282

Material type: 図書

Author: 大山口通夫, 三重大学 [著]

Publisher: [大山口通夫]

Publication date: 2003-2005

Material Format: Paper

Capacity, size, etc.: 8, 92p

NDC: -

View All

Notes on use

Note (General)：: 文部科学省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: 書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究
Title Transcription: カキカエシステムノキホンテキセイシツノカイメイトテイリショウメイシステムノコウドカニカンスルケンキュウ
Author/Editor: 大山口通夫, 三重大学 [著]
Author Heading: 大山口, 通夫オオヤマグチ, ミチオ
三重大学ミエダイガク
Publication, Distribution, etc.: [大山口通夫]
Publication Date: 2003-2005
2006.4
Publication Date (W3CDTF): 2003
2005
Extent: 8, 92p
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 項書き換えシステム / Church-Rosser (合流性) / 非線形TRS / 完備化手続き / 定理の自動証明 / 単一化 / 語問題 / 項合流性コウカキカエシステム / Church-Rosser (ゴウリュウセイ) / ヒセンケイ TRS / カンビカテツヅキ / テイリノジドウショウメイ / タンイツカ / ゴモンダイ / コウゴウリュウセイ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 15500009
Holding library: 国立国会図書館
Call No.: Y151-H15500009
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008381282
http://id.ndl.go.jp/bib/000008381282
Bibliographic Record Category (NDL): 214