「エレファントな群とリー代数」の項目では、項書き換え系の「項」を多項式のように見たものを「一般マグマの多項式」と呼びましたが、論理プログラミングの「論理式の項」に対する同様のものを「論理多項式」を呼ぶことにします。これは Wikipedia の「wiki…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。