Topological Computation Methods for Global Dynamics and Bifurcations Part 1: Theory, Part 2: Application
Topological Computation Methods for Global Dynamics and Bifurcations Part 1: Theory, Part 2: Application
复制标题
全局动力学和分岔的拓扑计算方法第 1 部分：理论，第 2 部分：应用
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Hiroshi Kokubu
中科院分区：
文献类型：
--
作者：
岩根秀直;樋口博之;穴井宏和;Seiya Negami;Rei-ichiro KAWAI;J. Byeon and K. Tanaka;M.Idzumi;Hitoshi Nakada;Y. Takei;Hiroshi Kokubu
登录
查看更多内容
论鄂尔多斯和赫克勒的两个问题：奇异疯狂中的新方法
DOI：
--
发表时间：
2004
期刊：
影响因子：
--
作者：
Menahem Kojman;W. Kubiś;S. Shelah
通讯作者：
S. Shelah
构造性 S4 模态逻辑的分类语义和 Kripke 语义
DOI：
10.1007/3-540-44802-0_21
发表时间：
2001
期刊：
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
N. Alechina;M. Mendler;Valeria C V de Paiva;Eike Ritter
通讯作者：
Eike Ritter
公理系统第二不完备定理的一个版本，该系统将加法而非乘法视为全函数
DOI：
--
发表时间：
2004
期刊：
--
影响因子：
--
作者：
D. Willard
通讯作者：
D. Willard
ID1的Epsilon替换法（Pi10或Sigma10）
DOI：
10.1016/s0168-0072(02)00112-4
发表时间：
2003
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
T. Arai
通讯作者：
T. Arai
影响因子：
0.3
作者：
J. Monk
通讯作者：
J. Monk