Søkt på: Søkeresultat
totalt 6 treff
Artificial Intelligence and Symbolic Computation
AISC 2004, the 7th International Conference on Arti?cial Intelligence and S- bolicComputation,wasthelatestintheseriesofspecializedbiennialconferences …
Integrating Symbolic Mathematical Computation and Artificial Intelligence
This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical …
Intelligent Computer Mathematics
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the …
Artificial Intelligence and Symbolic Mathematical Computation
This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, …
Artificial Intelligence and Symbolic Mathematical Computing
This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in …
Intelligent Computer Mathematics
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the …