CombinatorC

CombinatorC

表示 TemplateBox[{}, CombinatorC] 组合子.

更多信息

范例

打开所有单元关闭所有单元

基本范例  (1)

应用组合子逻辑的标准约简规则：

属性和关系  (1)

可用 TemplateBox[{}, CombinatorS] 和 TemplateBox[{}, CombinatorK] 来表示 TemplateBox[{}, CombinatorC] 组合子，即 TemplateBox[{}, CombinatorS](TemplateBox[{}, CombinatorS](TemplateBox[{}, CombinatorK]TemplateBox[{}, CombinatorS])(TemplateBox[{}, CombinatorS](TemplateBox[{}, CombinatorK]TemplateBox[{}, CombinatorK])TemplateBox[{}, CombinatorS]))(TemplateBox[{}, CombinatorK]TemplateBox[{}, CombinatorK])：

Wolfram Research (2020)，CombinatorC，Wolfram 语言函数，https://reference.wolfram.com/language/ref/CombinatorC.html.

文本

Wolfram Research (2020)，CombinatorC，Wolfram 语言函数，https://reference.wolfram.com/language/ref/CombinatorC.html.

CMS

Wolfram 语言. 2020. "CombinatorC." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/CombinatorC.html.

APA

Wolfram 语言. (2020). CombinatorC. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/CombinatorC.html 年

BibTeX

@misc{reference.wolfram_2024_combinatorc, author="Wolfram Research", title="{CombinatorC}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/CombinatorC.html}", note=[Accessed: 18-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_combinatorc, organization={Wolfram Research}, title={CombinatorC}, year={2020}, url={https://reference.wolfram.com/language/ref/CombinatorC.html}, note=[Accessed: 18-November-2024 ]}