1
出版 2008
書本目錄: ...) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover...
獲取全文
電子 電子書
2
出版 2006
書本目錄: ... -- A Unified Construction of the Glushkov, Follow, and Antimirov Automata -- Algebraic...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ... Computation -- Improving Efficiency of a Genetic Algorithm Applied to Multi-robot Tactic Operation -- VarMOPSO...
獲取全文
電子 電子書
4
出版 2014
書本目錄: ... Decision-Making -- A Fuzzy ART-based Approach for Estimation of High Performance Concrete Mix Proportion...
獲取全文
電子 電子書
5
出版 2013
書本目錄: ... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...
獲取全文
電子 電子書