Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03152099n
Noun Concept
Categories: 数学に関する記事, 計算理論, 形式手法, 形式言語, 数理論理学
JA
項書き換え  項書換え系  書き換え  書き換えシステム
JA
項書き換え（こうかきかえ、英: term rewriting）とは、数学・計算機科学・論理学において、式（数式、論理式）の項を別の項に置換する手法を総称する用語である。 Wikipedia
Definitions
Relations
Sources
JA
項書き換え（こうかきかえ、英: term rewriting）とは、数学・計算機科学・論理学において、式（数式、論理式）の項を別の項に置換する手法を総称する用語である。 Wikipedia
HAS KIND
EN
semi-Thue system
HAS INSTANCE
DE
Die Botschaft Gottes
SAID TO BE THE SAME AS
推論エンジン
EN
rewrite rule
STUDIED BY
理論計算機科学
Wikipedia
JA
項書き換え
Wikidata
JA
項書き換え
Wikipedia Redirections
JA
項書換え系
Wikipedia Translations
JA
書き換え, 書き換えシステム

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License