4 كتب إلكترونية بواسطة Volker Sorge
Serge Autexier & John Campbell: 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 Integration of Symbo …
PDF
الإنجليزية
DRM
€95.19
Jacques Carette & Cezary Kaliszyk: Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 shor …
PDF
الإنجليزية
DRM
€57.50
Belaid Benhamou & Jacques Calmet: Artificial Intelligence, Automated Reasoning, and Symbolic Computation
…
PDF
الإنجليزية
DRM
€57.90
John Campbell & Jacques Carette: 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 Integration of Symbolic …
PDF
الإنجليزية
DRM
€57.37
