| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| Fundamentals of machine theory and mechanisms |
Antonio Simon Mata ... [et al.]. |
2016 |
查看
|
回報問題連結 |
| Dependence logic:theory and applications / |
Samson Abramsky ... [et al.]. |
2016 |
查看
|
回報問題連結 |
| Towards paraconsistent engineering |
Seiki Akama. |
2016 |
查看
|
回報問題連結 |
| Higher-order computability |
John Longley, Dag Normann. |
2015 |
查看
|
回報問題連結 |
| Logic, mathematics, and computer science:modern foundations with practical applications / |
Yves Nievergelt. |
2015 |
查看
|
回報問題連結 |
| Gentzen's centenary:the quest for consistency / |
Reinhard Kahle, Michael Rathjen. |
2015 |
查看
|
回報問題連結 |
| Towards an arithmetical logic:the arithmetical foundations of logic / |
Yvon Gauthier. |
2015 |
查看
|
回報問題連結 |
| Logic and its applications:7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings / |
Sujata Ghosh, Sanjiva Prasad. |
2017 |
查看
|
回報問題連結 |
| The application of fuzzy logic for managerial decision making processes:latest research and case studies / |
Andreas Meier ... [et al.]. |
2017 |
查看
|
回報問題連結 |
| Functions and generality of logic ::reflections on Dedekind's and Frege's logicisms / |
Hourya Benis-Sinaceur, Marco Panza, Gabriel Sandu. |
|
查看
|
回報問題連結 |
| Why prove it again? ::alternative proofs in mathematical practice / |
John W. Dawson, Jr. |
|
查看
|
回報問題連結 |
| Bridging constraint satisfaction and Boolean satisfiability / |
Justyna Petke. |
|
查看
|
回報問題連結 |
| Logic functions and equations :binary models for computer science / |
Christian Posthoff, Bernd Steinbach. |
|
查看
|
回報問題連結 |
| Proof theory and algebra in logic / |
Hiroakira Ono. |
|
查看
|
回報問題連結 |
| Theory of graded consequence :a general framework for logics of uncertainty / |
Mihir Kumar Chakraborty, Soma Dutta. |
|
查看
|
回報問題連結 |
| Recent developments in fuzzy logic and fuzzy sets :dedicated to Lotfi A. Zadeh / |
Shahnaz N. Shahbazova, Michio Sugeno, Janusz Kacprzyk. |
|
查看
|
回報問題連結 |
|
|
