1
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...
View full text
Electronic eBook