Search results for "完備化手続き" | NDL Search

Search results 3

Group by title

Paper図書

大山口通夫, 三重大学 [著][大山口通夫]2003-2005<Y151-H15500009>

National Diet Library

Subject Heading項書き換えシステム / Church-Rosser (合流性) / 非線形TRS / 完備化手続き / 定理の自動証明 / 単一化 / 語問題 / 項合流性

Paper図書

大山口, 通夫, 三重大学2000-2002<Y151-H12680344>

National Diet Library

Subject Heading項書き換えシステム Church-Rosser (合流性) 非線形TRS 完備化手続き定理の自動証明単一化深さ保存性拡張危険対の完備化

Paper図書

大山口, 通夫, 三重大学1996-1998<Y151-H08680362>

National Diet Library

Reached to the end of result.

RSS