Intelligent Computer Mathematics : :: SCD d'Orléans

Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Co...

保存先:

書誌詳細
第一著者:	Carette, Jacques, 19..-
その他の著者:	Aspinall, David (出版デイレクター), Lange, Christoph (出版デイレクター), Sojka, Petr (出版デイレクター), Windsteiger, Wolfgang (出版デイレクター)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin, Heidelberg : Springer Berlin Heidelberg 2013. Cham : Springer Nature
シリーズ:	Lecture Notes in Artificial Intelligence 7961
主題:	Actes de congrès
オンライン･アクセス:	Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Intelligent Computer Mathematics, 9783642393198 • Intelligent Computer Mathematics, Texte imprimé, 9783642393211

類似資料

Computer Vision Systems : 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
出版事項: (2013)

Reversible Computation : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
出版事項: (2013)

Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
著者:: G©asieniec, Leszek
出版事項: (2013)

Computer Security ESORICS 2013 : 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings
著者:: Crampton, Jason
出版事項: (2013)

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : proceedings

Computer Analysis of Images and Patterns : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II
著者:: Wilson, Richard Michael, 1945-
出版事項: (2013)

Computer Analysis of Images and Patterns : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I
著者:: Wilson, Richard Michael, 1945-
出版事項: (2013)

Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
著者:: Sharygina, Natasha
出版事項: (2013)

Computer Information Systems and Industrial Management : 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
著者:: Saeed, Khalid
出版事項: (2013)

Proceedings of the 8th international conference on computer recognition systems CORES 2013

Advances in Intelligent Data Analysis XII : 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings
著者:: Tucker, Allan
出版事項: (2013)

Intelligent Virtual Agents : 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings
著者:: Aylett, Ruth, 1951-

Speech and Computer : 15th International Conference, SPECOM 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings
著者:: Železný, Miloš

Abdominal Imaging. Computation and Clinical Applications : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
著者:: Yoshida, Hiroyuki, 1947-
出版事項: (2013)

Artificial intelligence in education : 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013 : proceedings
著者:: Lane, H. Chad

Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
著者:: Chatterjee, Krishnendu

Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions : 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
著者:: Liao, Hongen
出版事項: (2013)

Intelligent Computing Theories and Technology : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
著者:: Huang, De-Shuang, 19..-

Hybrid Artificial Intelligent Systems : 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings
著者:: Pan, Jeng-Shyang

Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979

Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings

Human Computer Interaction : 6th Latin American Conference, CLIHC 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
著者:: Collazos, César
出版事項: (2013)

Mathematics and Modern Art : Proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010

Computer Algebra in Scientific Computing : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
著者:: Gerdt, Vladimir P., 1947-2021

Computer Safety, Reliability, and Security : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
著者:: Bitsch, Friedemann

Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
著者:: Heckel, Reiko
出版事項: (2013)

Proceedings of 2013 Chinese Intelligent Automation Conference : Intelligent Automation & Intelligent Technology and Systems

Discrete Geometry for Computer Imagery : 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings
著者:: Gonzalez-Diaz, Rocio
出版事項: (2013)

Information processing in computer-assisted interventions : 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013 : proceedings
著者:: Barratt, Dean
出版事項: (2013)

Artificial Intelligence and Soft Computing : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013 : proceedings
著者:: Rutkowski, Leszek, 1952-

Proceedings of 2013 Chinese Intelligent Automation Conference : Intelligent Automation

Progress in artificial intelligence : 16th portuguese conference on artificial intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. proceedings
著者:: Correia, Luís

Intelligence and Security Informatics : Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings
著者:: Wang, G. Alan, 19..-...., auteur en informatique
出版事項: (2013)

Human-Computer Interaction INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III
著者:: Kotzé, Paula
出版事項: (2013)

Human-Computer Interaction INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II
著者:: Kotzé, Paula
出版事項: (2013)

Human-Computer Interaction INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I
著者:: Kotzé, Paula
出版事項: (2013)

Human-Computer Interaction INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV
著者:: Kotzé, Paula
出版事項: (2013)

Proceedings of 2013 Chinese Intelligent Automation Conference : Intelligent Information Processing

Mathematics and Computation, a Contemporary View : the Abel Symposium 2006 : proceedings of the third Abel Symposium, Alesund, Norway, May 25-27, 2006
著者:: Munthe-Kaas, Hans

Medical Image Computing and Computer-Assisted Intervention MICCAI 2013 : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I
著者:: Mori, Kensaku
出版事項: (2013)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales