電子書書目整合查詢結果

總筆數:215

書名作者出版年查看回報錯誤連結
Hierarchical type-2 fuzzy aggregation of fuzzy controllers Leticia Cervantes, Oscar Castillo. 2016 查看
回報問題連結
Typed Lambda Calculi and Applications:7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings / Pawel Urzyczyn. 2005 查看
回報問題連結
Theory and Applications of Satisfiability Testing:8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / Fahiem Bacchus, Toby Walsh. 2005 查看
回報問題連結
Developments in Language Theory:9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings / Clelia De Felice, Antonio Restivo. 2005 查看
回報問題連結
Automata, Languages and Programming:32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / Luis CairesGuiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi. 2005 查看
回報問題連結
Theory and Applications of Satisfiability Testing:7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / Holger H. Hoos, David G. Mitchell. 2005 查看
回報問題連結
Frontiers of Combining Systems ::5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings Bernhard Gramlich. 2005 查看
回報問題連結
Processes, Terms and Cycles: Steps on the Road to Infinity ::Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday Aart Middeldorp ... [et al.]. 2005 查看
回報問題連結
Uncertainty and Surprise in Complex Systems:Questions on Working with the Unexpected / Dean J. Driebe, Reuben R. Jr. McDaniel. 2005 查看
回報問題連結
New Computational Paradigms:Changing Conceptions of What is Computable / S. Barry Cooper, Benedikt Lowe, Andrea Sorbi. 2008 查看
回報問題連結
Complexity Explained Peter Erdi. 2008 查看
回報問題連結
Forging New Frontiers: Fuzzy Pioneers II Masoud Nikravesh, Janusz Kacprzyk, Lofti A. Zadeh, editor. 2008 查看
回報問題連結
A Course on Mathematical Logic S. M. Srivastava. 2008 查看
回報問題連結
Analysis and Synthesis of Logics:How to Cut and Paste Reasoning Systems / Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. 2008 查看
回報問題連結
Decision Procedures:An Algorithmic Point of View / Daniel Kroening, Ofer Strichman. 2008 查看
回報問題連結
Complexity classifications of Boolean constraint satisfaction problems Nadia Creignou, Sanjeev Khanna, Madhu Sudan. 2001 查看
回報問題連結
上一頁 第1頁/共15頁/跳至 下一頁