中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
O'Nan-Scott theorem
来自维基百科,自由的百科全书
Found in articles
有限單群分類
试应用表示论,但在较高秩的情况中没有获得多少成功。 信号化子函子(英语:signalizer functor)
O'Nan
-
Scott
定理(英语:
O'Nan
-
Scott
theorem
) 2 F 4 ( 2 2 n + 1 ) {\displaystyle ^{2}\mathrm {F}
ML语言
released in 1996 and renamed to OCaml in 2011. Lawrence C. Paulson. The
theorem
prover Cambridge LCF. coded in Franz Lisp. 1989 [2021-10-10]. (原始内容存档于2021-10-10)