| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| Mathematics and computation :a theory revolutionizing technology and science / |
Avi Wigderson. |
|
查看
|
回報問題連結 |
| General type-2 fuzzy logic in dynamic parameter adaptation for the harmony search algorithm / |
Fevrier Valdez, Cinthia Peraza, Oscar Castillo. |
|
查看
|
回報問題連結 |
| Logic and argumentation :third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings / |
Mehdi Dastani, Huimin Dong, Leon van der Torre. |
|
查看
|
回報問題連結 |
| Complexity and approximation :in memory of Ker-I Ko / |
Ding-Zhu Du, Jie Wang. |
|
查看
|
回報問題連結 |
| Can mathematics be proved consistent? :Godel's shorthand notes & lectures on incompleteness / |
Jan von Plato. |
|
查看
|
回報問題連結 |
| Probabilistic extensions of various logical systems / |
Zoran Ognjanovic. |
|
查看
|
回報問題連結 |
| Logic and its applications :8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019 : proceedings / |
Md. Aquil Khan, Amaldev Manuel. |
|
查看
|
回報問題連結 |
| Decidability of logical theories and their combination / |
Joao Rasga, Cristina Sernadas. |
|
查看
|
回報問題連結 |
| Godel's theorems and Zermelo's axioms :a firm foundation of mathematics / |
Lorenz Halbeisen, Regula Krapf. |
|
查看
|
回報問題連結 |
| Bifurcation dynamics in polynomial discrete systems / |
Albert C. J. Luo. |
|
查看
|
回報問題連結 |
| Incompleteness for higher-order arithmetic :an example based on Harrington's principle / |
Yong Cheng. |
|
查看
|
回報問題連結 |
| Simplicial methods for higher categories :segal-type models of weak n-categories / |
Simona Paoli. |
|
查看
|
回報問題連結 |
| Nonlinear analysis :problems, applications and computational methods / |
Zakia Hammouch, Hemen Dutta, Said Melliani, Michael Ruzhansky. |
|
查看
|
回報問題連結 |
| Algebraic perspectives on substructural logics / |
Davide Fazio, Antonio Ledda, Francesco Paoli. |
|
查看
|
回報問題連結 |
| Policy decision modeling with fuzzy logic :theoretical and computational aspects / |
Ali Guidara. |
|
查看
|
回報問題連結 |
| Sequents and trees :an introduction to the theory and applications of propositional sequent calculi / |
Andrzej Indrzejczak. |
|
查看
|
回報問題連結 |
|
|
